Skip to content

Legacy version compatible with Coq 8.5

Choose a tag to compare

View all tags
@sweirich sweirich released this 19 Jun 18:48
· 141 commits to master since this release
coq8.5
685d392 
coq8.5

Updated for Coq 8.5 (merged in `namespace`)
Assets 2
Loading