All Git Users → coq-io

3 open source projects by coq-io

[ Open user page on Github ]

A Hello World program in Coq.

✭ 14

Library of Unix effects for Coq.

✭ 23

A library for effects in Coq.

✭ 63

1-3 of 3 user projects