← All repos

aetilley/harrison-rust

View on GitHub ↗ ★ 23 Rust

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

3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2023-01-22 · latest 2026-05-21