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.024Nov22211817158124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24tests for dopthci for toolsimplement chainprops as a filternormalising filesproposition chaining operationalproposition chaining operationalparsing with angstrom exclusivelyrenamingadministrative stuffmore docadded proposition chaining toolinstall target, renamingrelocated dopth doc, doc for name-splitdropping the subgoal marker of labelsfixed path of stringone makefileone file per propositionformatting, error in dopth, doc formattingpipeline to generate proofsusing record jar formatexporting 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 examples