coq-simple-io
by Lysxia
IO for Gallina
AI summary
IO library
Provides tools to implement IO programs directly in Coq
- stars
- 31
- forks
- 5
- watching
- 4
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Coq IDE
A tool for interactive theorem proving and language support in Coq
Effect library
A Coq library that enables the use of effects in functional programming with references to a global state
Unix effects library
A library of Unix effects implemented in the Coq functional programming language
Proof assistant library
Python bindings for Coq's interactive proof assistant
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
Serialization library
A formally verified serialization library for Coq
Verification project
Formally verifying solutions to programming challenges in Coq
coq/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Algebra library
A Coq library providing algebraic data structures and algorithms
Term manipulator
Provides an extension language for Coq to manipulate terms containing binders and supports scripting and metaprogramming
IDE
A Coq-based IDE with OCaml plugin and TypeScript support
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions coq-simple-io.
