New top story on Hacker News: Poi: Pragmatic point-free theorem prover assistant in Rust

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