Geeks
bhgomes
/
jensen
a Lean implementation of Jensen's Inequality
Primary Language
Lean
jensen GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Watchers
bhgomes
@mvup