Holbert: An Interactive Theorem Prover | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Holbert: An Interactive Theorem Prover | Heykuki News

Holbert: An Interactive Theorem Prover

github.com/liamoc

68 points

4 years ago

9 comments

Threaded

Loading comments...