gapt/gapt Issues
Updating prover interfaces
Closed 1Is equality non-logical?
Closed 1No assembly created
Closed 5IProver tests failing
Updated 4Chain tactic error messages
Updated 1Prooftool: Shaking Rules
Updated 2Documentation of λ-calculus
UpdatedUgly expansion proofs
Updatedprover9 proof parse error
Closed 2Extensionality elimination
Updated 3New cut-reduction architecture
Closed 2extractInductionGrammar
Closed 2Inductive types are unsound
Closed 4