zengineco

1 entry

External

gonzalgo

📦Local

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

axiom-of-choiceciconstructive-mathematicsdependency-analysis+8