Index of /users/tgauthier/alignments

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]alignments.tar.gz08-Jun-2016 17:30 46M
[   ]align_standalone.tar.gz01-Mar-2017 16:58 26M

Data (alignments.tar.gz) and source code (align_standalone.tar.gz) accompanying the paper Aligning Concepts across Proof Assistant Libraries