https://github.com/gapt/gapt
Tip revision: 2f9ab4b9865f0e3e4b8b04b71d2f0fbf3d1b8623 authored by Jannik Vierling on 21 July 2022, 07:37:48 UTC
release 2.16.0
release 2.16.0
Tip revision: 2f9ab4b
| File | Mode | Size |
|---|---|---|
| Pi2_cut_introduction | ||
| epsilon | ||
| exercises | ||
| gaptic | ||
| hoare | ||
| import | ||
| induction | ||
| lattice | ||
| ntape | ||
| poset | ||
| prime | ||
| primediv | ||
| prover9 | ||
| recschem | ||
| schema | ||
| scriptability | ||
| sequence | ||
| simple | ||
| tape | ||
| theories | ||
| tip | ||
| tptp | ||
| tstp_statistics | ||
| ChurchNumerals.scala | -rw-r--r-- | 1.9 KB |
| FormulaSequences.scala | -rw-r--r-- | 4.6 KB |
| Formulas.scala | -rw-r--r-- | 2.0 KB |
| README | -rw-r--r-- | 105 bytes |
| implicationLeftMacro.scala | -rw-r--r-- | 921 bytes |
| lk_to_nd_examples.scala | -rw-r--r-- | 17.3 KB |
| m-realizabilityExamples.scala | -rw-r--r-- | 10.8 KB |
| package.scala | -rw-r--r-- | 648 bytes |
| philsci.scala | -rw-r--r-- | 1.7 KB |
| pi2pigeonhole.scala | -rw-r--r-- | 1.6 KB |
| reduction.scala | -rw-r--r-- | 1.6 KB |
| reforest.scala | -rw-r--r-- | 601 bytes |
| tbillc.scala | -rw-r--r-- | 1.1 KB |
