aetilley/harrison-rust

Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)

3 best points · 0 comments · 1 Hacker News post · 23 GitHub stars · View on GitHub

Hacker News discussions