M

MMGeneration

Project information

WIP towards export Matching Logic proofs formalized in Lean to Metamath

41 Commits
1 Branch
0 Tags

README

Created on

February 09, 2023

Loading