GitHub - zhengyao-lin/kore2mm: reducing kore to functional matching logic formulated in metamath. Now moved to https://github.com/kframework/matching-logic-proof-checker

Example

python3 main.py examples/foo/foo.k.kore FOO tmp.mm --prelude prelude.mm --snapshots examples/foo/snapshots

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
examples/foo		examples/foo
proof		proof
.gitignore		.gitignore
README.md		README.md
main.py		main.py
prelude.mm		prelude.mm
requirements.txt		requirements.txt