Skip to main content

Browse the archive

https://github.com/theoremprover-museum/CLIN
12 January 2021, 05:34:34 UTC
Raw File
Tip revision: e7082fbde3634286f458d64846699ae488fe18f3 authored by Michael Kohlhase on 22 December 2016, 09:28:55 UTC
initial commit, thanks to David Plaisted
Tip revision: e7082fb
compile.in 
compile('prover').
save_program('compile.out.1').
halt.
back to top