Geeks
kodyvajjha
/
lean-crm
Primary Language
Lean
lean-crm GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
lean-crm
A formalization of coherent risk measures in Lean.