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
Reviewed by Anonymous
on
May 15, 2020
Rating:
