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.
from Science Latest https://ift.tt/3jVvZzm
via IFTTT
Next
« Prev Post
« Prev Post
Previous
Next Post »
Next Post »
Subscribe to:
Post Comments (Atom)
EmoticonEmoticon