Our great sponsors
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Not exactly modern notation, but Coq notation, which could easily be machine-translated into modern notation: https://www.principiarewrite.com/
If you're really interested in formalization of mathematics, there's a lot to do otherwise. I think there's lots of work to do on Mathlib that you don't need a PhD to do, just programming experience and bachelors-level math knowledge.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- An Easy-Sounding Problem Yields Numbers Too Big for Our Universe
- Towards a new SymPy: part 2 – Polynomials
- It's not mathematics that you need to contribute to (2010)
- Did studying proof based math topics e.g. analysis make you a better programmer?
- Which proof assistant is the best to formalize real analysis/probability/statistics?