GitHub - whxvd/trace_parse: Experiments with https://github.com/leanprover/lean4/pull/13792

Experiments with @Rob23oba's parser tracing framework, leanprover/lean4#13792.

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.gitignore		.gitignore
0.lean		0.lean
Examples.lean		Examples.lean
LongestMatches.lean		LongestMatches.lean
README.md		README.md
TraceParse.lean		TraceParse.lean
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Provide feedback