Geeks
mirkootter
/
lean-mt
Lean4-Framework to reason about multithreaded algorithms
Primary Language
Lean
lean-mt GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Watchers
tjahn
Germany
mirkootter