Skip to content

GitLab

Explore

Sign in

Tags

Tags give the ability to mark specific points in history as being important

TACL2017

00388114 · cleaned up Aux file, added alternative proof of Lemma 1.7, fixed compilation problem · Oct 14, 2015
```
This is the version supporting drafts and talks ca. 2017,  Coq (probably) 8.6 to 8.8
```