← Feed

Posts

• View post

  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?

• View post

  @Jgbird How can you shoot it! It's really nice!