New top story on Hacker News: Poi: Pragmatic point-free theorem prover assistant in Rust Posted By: Rushan Skywalker 11:27 PM Leave a Reply Poi: Pragmatic point-free theorem prover assistant in Rust 4 by adamnemecek | 0 comments on Hacker News. Tweet Share Share Share Share
0 comments: