Links
Resources, references, and useful websites.
Research Tools
Communities & Blogs
- Mathematics and Computation Andrej Bauer's blog on constructive mathematics
- n-Category Café Group blog on category theory and foundations
- MathOverflow Q&A for research mathematicians
Proof Assistants & Tools
- Rocq Prover Interactive theorem prover (formerly Coq)
- Agda Dependently typed functional language and proof assistant
- Lean Theorem prover and programming language
- Overleaf Online LaTeX editor