├── .gitignore ├── AstExport.lean ├── LICENSE ├── Main.lean ├── README.md ├── lake-manifest.json ├── lakefile.lean └── lean-toolchain /.gitignore: -------------------------------------------------------------------------------- 1 | /.lake 2 | -------------------------------------------------------------------------------- /AstExport.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/ast_export/HEAD/AstExport.lean -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/ast_export/HEAD/LICENSE -------------------------------------------------------------------------------- /Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/ast_export/HEAD/Main.lean -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/ast_export/HEAD/README.md -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/ast_export/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/ast_export/HEAD/lakefile.lean -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.10.0-rc2 2 | --------------------------------------------------------------------------------