A math contest inequality benchmark for Lean 4
https://docs.google.com/document/d/1vsymwqJ4fMB1tFPb6oy6KpSLJ0K-45X9fHqQXI26P_A/edit?usp=sharing
-
Notifications
You must be signed in to change notification settings - Fork 0
An inequality benchmark for theorem proving
License
haoyuzhao123/LeanIneqComp
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An inequality benchmark for theorem proving
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published