https://github.com/bhgomes/jensen
a Lean implementation of Jensen's Inequality
https://github.com/bhgomes/jensen
jensen-inequality lean lean-theorem-prover leanprover
Last synced: 8 months ago
JSON representation
a Lean implementation of Jensen's Inequality
- Host: GitHub
- URL: https://github.com/bhgomes/jensen
- Owner: bhgomes
- Created: 2020-06-25T14:37:53.000Z (about 6 years ago)
- Default Branch: main
- Last Pushed: 2023-06-21T06:39:50.000Z (about 3 years ago)
- Last Synced: 2025-01-27T05:58:07.852Z (over 1 year ago)
- Topics: jensen-inequality, lean, lean-theorem-prover, leanprover
- Language: Lean
- Homepage:
- Size: 101 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0