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