C

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.

39 Commits
3 Branches
19 Tags

README
MIT License
CHANGELOG

Created on

July 08, 2022

Loading