inter-language poring example using Lean4 proof assistant and B-Method like refinement
Lean Updated 11 days ago 1 commits
synth-dev|Mirror: t2ru/atrs-lean (⭐0)
11 days agoAbout
inter-language poring example using Lean4 proof assistant and B-Method like refinement
Readme