Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
finalcoalgebra | Dark Hacker News
user:
finalcoalgebra
created:
February 23, 2026
karma:
1
submissions
comments
1.
Automatically Translating Proof Systems for SMT Solvers to the λΠ-Calculus [pdf]
(ciaran-matthew-dunne.github.io)
1 points
by
finalcoalgebra
169 days ago
|
1 comment
2.
169 days ago
|
discuss