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.
To give an idea, consider things within a automated theorem prover, taking Lean as an example. A foundational "axiom" is just some value of a type that is asserted to exist, for example the axiom of choice in Lean is just:
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.