“Every proof assistant” – Andrej Bauermath.andrej.com3 points·carapace··0 commentsOpen articleSaveView on HN