No results found

arithmetization

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

    foundation0325e10

    Lean4 Logic Formalization