A particular slant on computational symbolic mathematics targetting foundational applications.
Proof assistant help us to prove theorems. See Proof Assistants Stack Exchange for some action research.
Lean
The most active community AFAICT. Open source. VS Code interface (!).
No comments yet. Why not leave one?