coq-simple-io

Project information

This package provides a plugin to implement Input/Output (IO) programs directly in Coq, in a style similar to Haskell's. . Coq is a proof assistant for higher-order logic.

30 Commits
3 Branches
16 Tags

README
MIT License
CHANGELOG

Created on

July 08, 2022

Copy SSH clone URLgit@salsa.debian.org:ocaml-team/coq-simple-io.git
Copy HTTPS clone URLhttps://salsa.debian.org/ocaml-team/coq-simple-io.git

Loading