Skip to content
GitLab
Explore
Sign in
Iris
lambda-rust
Repository
lambda-rust
README.md
Find file
Blame
History
Permalink
use 8.8.0 as default Coq version; test against Coq master with coqchk
· 41f0d79f
Ralf Jung
authored
Nov 07, 2018
41f0d79f