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