Theorem Prover Museum: The Original Edinburgh LCFgithub.com/theoremprover-museum2 pointsnxobject2 years ago