Poi: Pragmatic point-free theorem prover assistant in Rust
4 by adamnemecek | 0 comments on Daily News.
4 by adamnemecek | 0 comments on Daily News.
New top story on Daily News: Poi: Pragmatic point-free theorem prover assistant in Rust
![New top story on Daily News: Poi: Pragmatic point-free theorem prover assistant in Rust]()
Reviewed by Anonymous
on
May 15, 2020
Rating:
