published by zengineco

1 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.

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