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 days 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 (over 4 years ago)
• Default Branch: main
• Last Pushed: 2023-06-21T06:39:50.000Z (over 1 year ago)
• Last Synced: 2024-11-28T14:16:39.614Z (2 months ago)
• Topics: jensen-inequality, lean, lean-theorem-prover, leanprover
• Language: Lean
• Homepage:
• Size: 101 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project