Commits · e5c8bd0d0033acf73a6909538ac6e52fb97ca72c · LARA / lisa · GitLab

Snippets Groups Projects

May 15, 2022
- Merge pull request #11 from SimonGuilloud/main · e5c8bd0d
  SimonGuilloud authored 2 years ago
  e5c8bd0d
- Fix missing line. · 432d5ebb
  SimonGuilloud authored 2 years ago
  
  432d5ebb
- Merge branch 'main' of https://github.com/SimonGuilloud/lisa · 3ee23571
  SimonGuilloud authored 2 years ago
  
  3ee23571
- Fix to missing case in printer match. · 5df53bfc
  SimonGuilloud authored 2 years ago
  
  5df53bfc
- Merge branch 'epfl-lara:main' into main · 61776116
  SimonGuilloud authored 2 years ago
  
  61776116
- Correction of small error regarding function and predicate definition. · 40d00f25
  SimonGuilloud authored 2 years ago
  
  40d00f25
Apr 24, 2022
- Merge pull request #8 from SimonGuilloud/main · 7f74dd02
  SimonGuilloud authored 3 years ago
  7f74dd02
- Finished the implementation of the new substitutions mechanism and made all... · ee791ebd
  SimonGuilloud authored 3 years ago
  ee791ebd
Apr 22, 2022
- Implementation of lambda terms and formulas to represent substitution better.... · e5975116
  SimonGuilloud authored 3 years ago
  e5975116
Apr 15, 2022
- Merge pull request #7 from SimonGuilloud/main · 55d093d9
  SimonGuilloud authored 3 years ago
  55d093d9
- Merge branch 'epfl-lara:main' into main · ab20534b
  SimonGuilloud authored 3 years ago
  
  ab20534b
- Multiple changes to the running theories: · 1002eb5a
  SimonGuilloud authored 3 years ago
  1002eb5a
Mar 25, 2022
- Merge pull request #6 from SimonGuilloud/main · eacb9c06
  SimonGuilloud authored 3 years ago
  eacb9c06
- - Added kernel helper functions to instantiate schematic predicate or function in a whole sequent · a310af53
  SimonGuilloud authored 3 years ago
  a310af53
Mar 21, 2022
- start to work on set theory thorems · f50efde1
  SimonGuilloud authored 3 years ago
  
  f50efde1
Mar 14, 2022
- Merge pull request #3 from FlorianCassayre/proof-judgement · 84468083
  SimonGuilloud authored 3 years ago
  84468083
Mar 07, 2022
- Schematic predicates were not printed differently · 495bead8
  Florian Cassayre authored 3 years ago
  
  495bead8
Mar 02, 2022
- Add missing sugars to KernelHelpers · aa12ae15
  Florian Cassayre authored 3 years ago
  
  aa12ae15
- Fix the indenting of imports in the printer · 850ff7e6
  Florian Cassayre authored 3 years ago
  
  850ff7e6
Feb 21, 2022
- Introduce the proof judgement ADT · 78cfcc81
  Florian Cassayre authored 3 years ago
  
  78cfcc81
Feb 16, 2022
- Merge pull request #2 from SimonGuilloud/main · 9a3a4a59
  SimonGuilloud authored 3 years ago
  9a3a4a59
- Renamed proof steps for instantiation · 57792caa
  SimonGuilloud authored 3 years ago
  
  57792caa
- Update manual with proof checker, new proof steps. · 4d74fa97
  SimonGuilloud authored 3 years ago
  
  4d74fa97
- Add two proof step to deduce the instantiation of a schematic symbol. · 32ba1503
  SimonGuilloud authored 3 years ago
  
  32ba1503
- Merge pull request #1 from FlorianCassayre/update-printer · c36adfb2
  SimonGuilloud authored 3 years ago
  c36adfb2
- Update printer · 4478910a
  Florian Cassayre authored 3 years ago
  
  4478910a
Feb 15, 2022
- Merge branch 'main' of https://github.com/epfl-lara/lisa into main · e1b9a400
  SimonGuilloud authored 3 years ago
  
  e1b9a400
- Repaired some previously commented set theory proofs, corrected a bad use of contains. · d907e10f
  SimonGuilloud authored 3 years ago
  
  d907e10f
- Update README.md · de9f8b58
  SimonGuilloud authored 3 years ago
  
  de9f8b58
- Update README.md · 99bd082e
  SimonGuilloud authored 3 years ago
  
  99bd082e
- Update README.md · 06dee6b6
  SimonGuilloud authored 3 years ago
  
  06dee6b6
- Update README.md · d78857f3
  SimonGuilloud authored 3 years ago
  
  d78857f3
- Update README.md · 0d39d580
  SimonGuilloud authored 3 years ago
  
  0d39d580
- Update README.md · 99348c52
  SimonGuilloud authored 3 years ago
  
  99348c52
- Include Apache 2.0 License and LISA's Reference Manual (WIP). · 2772b76a
  SimonGuilloud authored 3 years ago
  
  2772b76a
- Initial Commit · 0de11974
  SimonGuilloud authored 3 years ago
  0de11974
- Create README.md · 959fb316
  SimonGuilloud authored 3 years ago
  
  959fb316