Jumat, 15 Mei 2020

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

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


Tidak ada komentar:

Posting Komentar