-
- Downloads
Lattices (#204)
typeset lattices example and solutions, improvements to pretty printing
Showing
- lisa-examples/src/main/scala/Example.scala 2 additions, 4 deletionslisa-examples/src/main/scala/Example.scala
- lisa-examples/src/main/scala/Lattices.scala 186 additions, 0 deletionslisa-examples/src/main/scala/Lattices.scala
- lisa-examples/src/main/scala/Test.scala 1 addition, 2 deletionslisa-examples/src/main/scala/Test.scala
- lisa-sets/src/main/scala/lisa/automation/Tautology.scala 2 additions, 1 deletionlisa-sets/src/main/scala/lisa/automation/Tautology.scala
- lisa-utils/src/main/scala/lisa/fol/Common.scala 4 additions, 4 deletionslisa-utils/src/main/scala/lisa/fol/Common.scala
- lisa-utils/src/main/scala/lisa/fol/Predef.scala 1 addition, 1 deletionlisa-utils/src/main/scala/lisa/fol/Predef.scala
- lisa-utils/src/main/scala/lisa/fol/Sequents.scala 2 additions, 2 deletionslisa-utils/src/main/scala/lisa/fol/Sequents.scala
- lisa-utils/src/main/scala/lisa/prooflib/WithTheorems.scala 2 additions, 2 deletionslisa-utils/src/main/scala/lisa/prooflib/WithTheorems.scala
Loading
Please register or sign in to comment