coq-elpi
by LPCIC
Coq plugin embedding elpi
AI summary
Term manipulator
Provides an extension language for Coq to manipulate terms containing binders and supports scripting and metaprogramming
- stars
- 141
- forks
- 52
- watching
- 9
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Parametrization tool
A Coq plugin providing commands for generating parametricity statements used in data refinement proofs.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Coq generator
Tool for generating Coq definitions and proofs for locally nameless representations
coq/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Coq IDE
A tool for interactive theorem proving and language support in Coq
IDE
A Coq-based IDE with OCaml plugin and TypeScript support
Haskell to Coq converter
A tool that translates Haskell code to equivalent Coq code
IO library
Provides tools to implement IO programs directly in Coq
Proof assistant library
Python bindings for Coq's interactive proof assistant
Web server
A Coq-based web server written in a functional programming language
Coq IDE kernel
A Jupyter notebook kernel for interactive theorem proving with Coq
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions coq-elpi.
