Hacker News new | ask | show | jobs
Design and Implementation of the Andromeda Proof Assistant (arxiv.org)
1 points by anqurvanillapy 2687 days ago