Coq-library-undecidability Alternatives
Similar projects and alternatives to coq-library-undecidability
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
-
-
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
-
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
coq-library-undecidability reviews and mentions
-
Development Environment with guix shell for Coq Package
I want to run guix shell to create an environment with the dependencies required to build coq-library-undecidability.
-
Math proof databases
There are two problems. The first is that there is no central repository. Sure, maybe if you're interested in undecidable results you might go here... But it's an island, and so is every other library. Worse yet, there's little inter mixing or combinable ways to use libraries. Unlike other programming languages, automated proof systems have so far been aimed at the technical aspects of a single person proving something, rather than the shareability of proofs.
Stats
uds-psl/coq-library-undecidability is an open source project licensed under Mozilla Public License 2.0 which is an OSI approved license.
The primary programming language of coq-library-undecidability is Coq.
Popular Comparisons
Sponsored