io

A library for effects in Coq.

GitHub

64 stars
6 watching
4 forks
Language: Coq
last commit: over 2 years ago

Screenshot of coq-io/io website

coq.io/