Coq-library-undecidability Alternatives
Similar projects and alternatives to coq-library-undecidability
-
-
InfluxDB
Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
-
-
-
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
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.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
coq-library-undecidability discussion
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