Lavendula
Lavendula@mathstodon.xyz
Posts
-
Post #2854485
I may think it is a trivial work in maths, but seems that it's very hard in Lean!!!!! Is that because of they lean cannot do some construction work or calculating work?
-
Post #2854484
@Jgbird How can you shoot it! It's really nice!