Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.08Nov124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24exporting sequents to dksimpler dependencies specs for ciposix shell, no ksh neededsimpler dependencies specbetter dummies generationupdate docsdocumentationOne file per formula, better rule resolutionfixing loadersfix checkoutfixed checkout actioncontinued documentation up to translationMerge branch 'restructure'relocate encoding testsuse functions rather than macrosfixed recipefewer makefilesrestructurationcommand to load PVS into lispmore examplesprint final proofstateprinting derivation as tptpadd example proofproof translationcreating debian meta package for depspvs build scriptuse PVSPATH from env variablesuse pvs singleton?used pc-parse instead of parseadded translation to tptp by F. Gilbertrenamingminor fixessimplifying exporterReplace impd with unicode infix implicationinstalling lambdapi et personojadded documentationeditors settingdirectory renamingMerge branch 'ci'comment big theories