bluesky — American Mathematical Society — 22 Oct 2026
The platform offers tools to help researchers explore mathematical ideas, discuss and summarize complex arguments, and w…
#proof-assistants #formalization #mathematical-software
The platform offers tools to help researchers explore mathematical ideas, discuss and summarize complex arguments, and work on formalizing mathematics using Lean.