advancedresearch/poi

a pragmatic point-free theorem prover assistant

71 best points · 35 comments · 1 Hacker News post · 143 GitHub stars · View on GitHub

Hacker News discussions

• Poi: Pragmatic point-free theorem prover assistant in Rust (71 points, 35 comments, by adamnemecek, 2020-05-15)