Skip to content
Snippets Groups Projects
Select Git revision
  • main default
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.08Oct4322Jul18Jun19Apr1884Mar26Feb10Jan9828Dec207643227Nov24201585Oct15Sep26Aug2115141026Jul1936Jun2May29Apr272019171129Mar2824Feb23222120171613983130Jan131110916Dec12876127Nov232216128Oct272524161211654329Sep26251985228Aug5219Jul24Jun2317131211915May24Apr221526Mar2521147221Feb1615Extract definitions/theorems of functions, add Sigma and Pi (#222)mainmainMacro to include executable lisa listings from a file (#230)Update README.md with ITP 2024Depend on Scallion and Silex via release JARs (#228)Small fixes to tests and congruence (#223)Update project to scala version 3.5.1. Rewrite depreciated syntax. (#227)Reseal `Proof` trait, upgrade to Scala 3.4.2 (#225)Remove redundant `given Library` leading to compilation error under Scala 3.6+ (#224)Dependency and Scala Upgrades (#221)Egraph (#220)Type checking and ADTs (#219)Support for Goéland and SC-TPTP (#211)Small corrections to Lisa manual (#213)Apply tactic (#212)Add option for draft (#207)Lattices2 (#206)Small lattices changes (#205)Lattices (#204)Substitution bellow quantifier (#203)refman is the directory for manul. Style changes and small fixes. (#202)JDKJDK 17Fix small typosIntroduce local definitions and comprehensions (#199)Readd failed substitution reporting (#198)Upgrade to Scala 3.3.1 (#197)Add the file CHANGES.md (#196)Another Tableaux Improvement (#195)Atomics, improve lisa.fol.FOL's logic and simplify it (#194)fix tableau incompleteness (#193)Reorganize (#191)Update README.mdSave proofs (#187)Readme cleanups and updates (#189)Manual: Typo in subset axiom title (#186)Small tactic improvement (#185)Proof checker fix (#183)Put list example files in a different branch (#180)Tableau (#181)Manual (#179)