search

albertqjiang / miniF2F

An updated version of miniF2F with problems fixed
0 stars 0 forks source link

[Lean, Metamath Fix] amc12a_2019_p12 #19

Closed DyeKuu closed 2 years ago

DyeKuu commented 2 years ago

Note:

Add a missing ^2. A potential improvement of the lean version is the usage of logb.