├── .gitignore ├── Metamath.lean ├── Metamath ├── Translate.lean └── Verify.lean ├── README.md ├── lake-manifest.json ├── lakefile.lean └── lean-toolchain /.gitignore: -------------------------------------------------------------------------------- 1 | /.lake 2 | -------------------------------------------------------------------------------- /Metamath.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/mm-lean4/HEAD/Metamath.lean -------------------------------------------------------------------------------- /Metamath/Translate.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/mm-lean4/HEAD/Metamath/Translate.lean -------------------------------------------------------------------------------- /Metamath/Verify.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/mm-lean4/HEAD/Metamath/Verify.lean -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/mm-lean4/HEAD/README.md -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/mm-lean4/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/mm-lean4/HEAD/lakefile.lean -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.26.0-rc2 2 | --------------------------------------------------------------------------------