Fri, 20 Aug 2021 17:57:57 +0200 | desharna | fixed $ite syntax in TPTP TFX generation | changeset | files |
Thu, 19 Aug 2021 14:23:47 +0200 | wenzelm | more Haskell operations; | changeset | files |
Thu, 19 Aug 2021 13:22:06 +0200 | wenzelm | merged | changeset | files |
Thu, 19 Aug 2021 12:30:20 +0200 | wenzelm | revert 0faa68dedce5: very slow; | changeset | files |
Thu, 19 Aug 2021 12:01:57 +0200 | wenzelm | tuned; | changeset | files |
Thu, 19 Aug 2021 12:31:06 +0200 | Lukas Stevens | add/rename some theorems about Map(pings) | changeset | files |