GitHub repository: FormalizedFormalLogic/Arithmetization
Primary language: Lean
Description: Formalization of Arithmetization of Mathematics/Metamathematics