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.08Dec26Nov252422211817158124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24wrapping body of quantifiersrenamed moduleuppercase variablestranslating logical connectiveshandle exception cannot translateopam filetestingtranslation to tptpformatting, testsdocumentationInitsome notes, pair' constantarchive lp and lposcleaning equalitiesnew equalitydune makefile, pipeline directorypreserving order in chainpropsno pvs qualificationUse ocaml setup, more opamremoving useless filedoc minor modifadded appaxiom programless dependencies for chainpropstests 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 proposition