theoremprover-museum/LCF77

The original Edinburgh LCF.

2 best points · 1 comments · 1 Hacker News post · 34 GitHub stars · View on GitHub

Hacker News discussions

• Theorem Prover Museum: The Original Edinburgh LCF (2 points, 1 comments, by nxobject, 2024-08-04)