Search results

bug in reductive cut-elimination

Status: Open.

#768 In gapt/gapt;

· shetzl opened on Jul 21, 2025

Chain tactic error messages

Maintenance 🔧

Status: Open.

#742 In gapt/gapt;

· jvierling opened on Jan 16, 2020

IProver tests failing

Bug 🪲

Status: Open.

#740 In gapt/gapt;

· jvierling opened on Oct 14, 2019

Prooftool: Shaking Rules

Bug 🪲

Prooftool 🔬

Status: Open.

#735 In gapt/gapt;

· jvierling opened on Apr 4, 2019

Documentation of λ-calculus

Status: Open.

#731 In gapt/gapt;

· jvierling opened on Jan 23, 2019

Ugly expansion proofs

Status: Open.

#730 In gapt/gapt;

· gebner opened on Nov 23, 2018

Sort with LPO leads to Exception "Comparison method violates its general contract!"

Bug 🪲

Status: Open.

#711 In gapt/gapt;

· quicquid opened on Jul 16, 2018

Vampire.extendToManySortedViaErasure doesn't handle skolem symbols

Status: Open.

#704 In gapt/gapt;

· mschlaipfer opened on May 16, 2018

Extensionality elimination

Enhancement

Potential Student Project 🎓

Status: Open.

#696 In gapt/gapt;

· gebner opened on Mar 12, 2018

Substitution does not preserve formula validity

Bug 🪲

Status: Open.

#682 In gapt/gapt;

· gebner opened on Jan 26, 2018

user manual: schema section

User Manual 📙

Status: Open.

#670 In gapt/gapt;

· gebner opened on Dec 21, 2017

Fancy features section in user manual

Enhancement

User Manual 📙

Status: Open.

#656 In gapt/gapt;

· gebner opened on Oct 18, 2017