README.md · master · Maxime Dénès / LambdaRust-coq · GitLab

Skip to content

GitLab

Explore

Sign in

LambdaRust-coq
README.md

Blame Permalink

Nov 07, 2018
41f0d79f

use 8.8.0 as default Coq version; test against Coq master with coqchk · 41f0d79f
Ralf Jung authored Nov 07, 2018

41f0d79f

use 8.8.0 as default Coq version; test against Coq master with coqchk
Ralf Jung authored Nov 07, 2018

Loading