platform

Multi platform setup for Coq, Coq libraries and tools (by coq)
Add to my DEV experience Suggest topics
Source Code
Suggest alternative
Edit details
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.
workos.com
Sponsored

Platform Alternatives

Similar projects and alternatives to platform

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better platform alternative or higher similarity.
Suggest an alternative to platform

platform reviews and mentions

Posts with mentions or reviews of platform. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-03-22.
  • [suggestion] Learning about math proofs using lean
    4 projects | /r/math | 22 Mar 2022
    For Coq, take a look at jsCoq and its scratchpad. It comes included with (among others) mathcomp, the library that was built to formalize the four color and odd order theorem. Coq also has a very beginner friendly IDE which also comes packaged with a bunch of additional libraries in the Coq Platform which works on Windows, Mac, and Linux.

Stats

Basic platform repo stats
1
178
9.0
19 days ago

coq/platform is an open source project licensed under Creative Commons Zero v1.0 Universal which is not an OSI approved license.

The primary programming language of platform is Shell.

Popular Comparisons

  1. platform VS formalising-mathematics
  2. platform VS logical_verification_2021
  3. platform VS formalising-mathematics-2022

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com