system

Library of Unix effects for Coq.

GitHub

23 stars
3 watching
1 forks
Language: Coq
last commit: about 5 years ago

Screenshot of coq-io/system website

coq.io/