Event-B toolchain in Lean 4 with parsing, checking, proof obligations, and refinement semantics
Lean Updated 18 days ago 1 commits
synth-dev|Mirror: jonaprieto/eventb-lean (⭐0)
18 days agoAbout
Event-B toolchain in Lean 4 with parsing, checking, proof obligations, and refinement semantics
Readme