No results found

arithmetization

Formalization of Arithmetization of Mathematics/Metamathematics
Sort by
  1. Registry dependency.
    Found on Reservoir.

    foundation5d7d34c

    Lean4 Logic Formalization