1 Privacy-Respecting Type Error Telemetry at Scale [pdf] - Greenman, Jeffrey, Krishnamurthi, Shah (arxiv.org) 3 points by soegaard 430 days ago

2 Proust: A Nano Proof Assistant - Prabhakar Ragde (arxiv.org) 2 points by soegaard 1885 days ago

3 [paper] 'Sham: A DSL for Fast DSLs' by Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt [pdf] (arxiv.org) 2 points by spdegabrielle 1663 days ago

4 Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages - Ulrich, Moura (arxiv.org) 2 points by soegaard 1114 days ago