Poi: Pragmatic point-free theorem prover assistant in Rust 4 by adamnemecek | 0 comments on Hacker News.
No comments