GO

gonzalgo

Published by zengineco

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

CATEGORY: More to explore
DEPLOYMENT: Local package
LATEST SOURCE VERSION: 0.5.2
SOURCE CHECKED: Sep 4, 2026

Published packages

pypi · gonzalgo@0.5.2

View source repository