platform
by coq
Multi platform setup for Coq, Coq libraries and tools
AI summary
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
- stars
- 191
- forks
- 50
- watching
- 8
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Proof assistant
Coq proof assistant book with exercises and examples
Proof platform
A platform that exposes Coq proofs to machine learning algorithms
Proof assistant library
Python bindings for Coq's interactive proof assistant
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
Coq IDE
A tool for interactive theorem proving and language support in Coq
Parametrization tool
A Coq plugin providing commands for generating parametricity statements used in data refinement proofs.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions platform.