Skip to content
GitLab
Explore
Sign in
Software
Ruitenburg1984
Tags
TACL2017
TACL2017
Tadeusz Litak
@TadeuszLitak
00388114
·
cleaned up Aux file, added alternative proof of Lemma 1.7, fixed compilation problem
·
Oct 14, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
This is the version supporting drafts and talks ca. 2017, Coq (probably) 8.6 to 8.8
