GitHub repository: liyishuai/coq-simple-io
Primary language: Coq
Description: IO for Gallina