can i use this for american math or is it chinese math only?
#33
by
enriquelopezcode
- opened
can i use this for american math or is it chinese math only?
maybe it's Lean 4
Are there differences between American math and Chinese math?
Are there differences between American math and Chinese math?
hahahahaha, this is too funny.
can i use this for american math or is it chinese math only?
should be in lean 4 https://github.com/leanprover/lean4
can i use this for three body planet math or it is earth math only?
Are there differences between American math and Chinese math?
Our grlorious freedom-loving mathematics vs their soulless authoritarian calculations.
This comment has been hidden (marked as Abuse)