HEAD | 2f9ab4b | release 2.16.0 | 21 July 2022, 07:37:48 UTC |
refs/heads/FoldRuleAndRefutation | 806dab1 | saving changes | 21 March 2019, 10:08:33 UTC |
refs/heads/InstanceConstructionAndDummyProver | 3649a74 | Working PLCOP prover integration | 23 March 2021, 16:08:22 UTC |
refs/heads/WIP-theory-tptp-parsing | a159f87 | during merge the tptp parser forgot how to deal with type declarations | 28 November 2018, 16:33:11 UTC |
refs/heads/axar | ce77cc1 | export comments for TIP problems | 06 November 2019, 20:10:52 UTC |
refs/heads/classical_extraction | 97257a6 | Temp commit debugging minimum example | 19 December 2019, 17:06:00 UTC |
refs/heads/develop | 4b884ec | apply automatic scala 2->3 syntax rewriting | 16 February 2024, 16:38:26 UTC |
refs/heads/dialectica | fb9ce4c | wip dialectica translation | 23 March 2018, 09:39:00 UTC |
refs/heads/epsilon2 | e78b3fa | wip EpsilonToExpansionProof | 08 January 2018, 09:08:36 UTC |
refs/heads/groupexp | 3362f85 | experiments with another group | 15 July 2022, 11:15:28 UTC |
refs/heads/jenkins-ci | afdeb02 | upload reports in pipeline stage | 06 July 2022, 12:12:11 UTC |
refs/heads/leancopparser | faa330d | separate expansion sequent extraction and leancop proof parser | 05 March 2021, 08:43:34 UTC |
refs/heads/lktond_optimization | a3e7526 | Changes to LKToND avoiding intro of some Exists-EM Also some examples | 09 December 2019, 09:42:05 UTC |
refs/heads/logical-equality | c834f7f | cover equality in tests of constants.nonLogical | 08 January 2021, 13:48:24 UTC |
refs/heads/master | 2f9ab4b | release 2.16.0 | 21 July 2022, 07:37:48 UTC |
refs/heads/nanocop | 6c4f536 | cli: add nanocop import | 29 June 2016, 10:40:40 UTC |
refs/heads/parametric-proofs | f9e00f6 | Update to changes in GAPT. | 08 September 2017, 12:42:10 UTC |
refs/heads/release-2.16.0 | 043e3cd | update release notes | 19 July 2022, 14:32:11 UTC |
refs/heads/scalajs | 8e74d46 | Javascript port using ScalaJS Unfortunately this is not very useful, since ScalaJS is not self-hosting yet (hence we can't have a REPL in the browser, and only execute predefined code...) | 15 January 2016, 15:51:05 UTC |
refs/heads/slakje | b8b837b | ExpansionProofToMG3iViaSAT: remove unused code | 06 December 2018, 15:23:23 UTC |
refs/heads/verit | 2bd8f40 | reduce timeout for veriT test cases | 19 July 2022, 11:56:45 UTC |
refs/remotes/origin/m2e-210 | 210f743 | Other neccessary changes to mvn clean install gapt with no errors | 17 February 2013, 17:40:36 UTC |