A community of mathematicians is using software called Lean to build a new digital repository. They hope it represents where their field is headed next.Read More
Related Posts
Interesting Facts | All That Is Interesting | General Knowledge | Conversation Starters
A community of mathematicians is using software called Lean to build a new digital repository. They hope it represents where their field is headed next.Read More