Index of /users/tgauthier/alignments
Name
Last modified
Size
Description
Parent Directory
-
align_standalone.tar.gz
01-Mar-2017 16:58
26M
alignments.tar.gz
08-Jun-2016 17:30
46M
Data (alignments.tar.gz) and source code (align_standalone.tar.gz) accompanying the paper Aligning Concepts across Proof Assistant Libraries