Skip to content
GitLab
Explore
Sign in
Justin Andresen
haskell-to-coq-compiler
Tags
v0.1.0.0
v0.1.0.0
protected
Justin Andresen
@stu203400
98c165d0
·
Update link to documentation
·
Sep 26, 2019
Release:
v0.1.0.0
version 0.1.0.0