Geeks
bwbush
/
marlowe-lean4
Marlowe DSL in Lean 4
Primary Language
Lean
Apache License 2.0
Apache-2.0
marlowe-lean4 GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Stargazers
bwbush
@input-output-hk
paluh