Skip to content
GitLab
Explore
Sign in
2 forks: 2 public, 0 internal, and 0 private
Created date
Tej Chajed /
Tutorial POPL18
update the Coq versions we test against
0
Updated
Sep 15, 2020
0
0
0
0
Updated
Sep 15, 2020
Paolo G. Giarrusso /
tutorial-popl18
drop Coq 8.7, add 8.10
0
Updated
Nov 12, 2019
0
0
0
0
Updated
Nov 12, 2019
