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.
If you're into programming, Lambda calculus, and type theory, you might want to check out the LEAN project.
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?