MCP

Gonzalgo

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

Rivendica questo annuncio

Collega il tuo account GitHub per dimostrare che possiedi o mantieni questo annuncio. Verifichiamo l’accesso al repo automaticamente — la maggior parte dei publisher viene confermata in pochi secondi.

1Collega GitHub

2Invia la tua rivendicazione

3Verifica automatica, oppure esame entro 48 h