Index of /~thibault/alignments

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]README.html2022-03-01 16:30 141  
[ ]align_standalone.tar.gz2022-03-01 16:30 26M 
[ ]alignments.tar.gz2022-03-01 16:30 46M 
Data (alignments.tar.gz) and source code (align_standalone.tar.gz) accompanying the paper Aligning Concepts across Proof Assistant Libraries