Skip to main content

Browse the archive

https://github.com/theoremprover-museum/CLIN
12 January 2021, 05:34:34 UTC
Name Target Message Date
HEAD e7082fb initial commit, thanks to David Plaisted 22 December 2016, 09:28:55 UTC
refs/heads/master e7082fb initial commit, thanks to David Plaisted 22 December 2016, 09:28:55 UTC
back to top