from Hacker News

363849473754

joined 6/19/21, 2:52 PM has 47 karma

• Mathematicians Discuss the Practicality of Lean

  by 363849473754 on 7/11/22, 12:56 PM, with 0 comments

• Overloaded Terminology in Mathematics

  by 363849473754 on 9/17/21, 8:59 PM, with 0 comments