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