New
|
Popular
|
Submit
|
About
|
From
login
1
Proust: A Nano Proof Assistant - Prabhakar Ragde
(
arxiv.org
)
2 points by
soegaard
1354 days ago
2
[paper] 'Sham: A DSL for Fast DSLs' by Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt [pdf]
(
arxiv.org
)
2 points by
spdegabrielle
1133 days ago
3
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages - Ulrich, Moura
(
arxiv.org
)
2 points by
soegaard
584 days ago