-
- Downloads
"git@ic-gitlab.epfl.ch:sacs/decentralizepy.git" did not exist on "64dc0f63c34b3852fd730ae24aa875b23e586204"
Repaired some previously commented set theory proofs, corrected a bad use of contains.
Showing
- src/main/scala/lisa/kernel/proof/SCProofChecker.scala 8 additions, 7 deletionssrc/main/scala/lisa/kernel/proof/SCProofChecker.scala
- src/main/scala/proven/ElementsOfSetTheory.scala 14 additions, 12 deletionssrc/main/scala/proven/ElementsOfSetTheory.scala
- src/main/scala/proven/tactics/Destructors.scala 3 additions, 2 deletionssrc/main/scala/proven/tactics/Destructors.scala
- src/main/scala/proven/tactics/ProofTactics.scala 0 additions, 1 deletionsrc/main/scala/proven/tactics/ProofTactics.scala
- src/test/scala/lisa/kernel/FolTests.scala 1 addition, 1 deletionsrc/test/scala/lisa/kernel/FolTests.scala
- src/test/scala/lisa/proven/ElementsOfSetTheoryTests.scala 22 additions, 28 deletionssrc/test/scala/lisa/proven/ElementsOfSetTheoryTests.scala
Loading
Please register or sign in to comment