Search results

Some axioms are wrong.

Status: Open.

#7 In loganrjmurphy/LeanEuclid;

· miguelmarco opened on Nov 21, 2025

Regarding the errors after running lake build

Status: Open.

#6 In loganrjmurphy/LeanEuclid;

· FlAmmmmING opened on May 10, 2025

SMT Solver should not bypass the termination check

Status: Open.

#5 In loganrjmurphy/LeanEuclid;

· yangky11 opened on May 3, 2025

Bump to v4.19.0

Status: Open.

#4 In loganrjmurphy/LeanEuclid;

· yangky11 opened on May 3, 2025

Deaxiomatizing System E

Status: Open.

#3 In loganrjmurphy/LeanEuclid;

· FrederickPu opened on Aug 6, 2024