https://github.com/DmxLarchey/Murec_Extraction
Tip revision: 52b860574c6d9787f80acd5b3d39095064b20140 authored by Dominique Larchey-Wendling on 22 May 2023, 13:40:12 UTC
update diff files to account for the standalone.v variants
update diff files to account for the standalone.v variants
Tip revision: 52b8605
File | Mode | Size |
---|---|---|
theories | ||
.gitignore | -rw-r--r-- | 134 bytes |
Licence_CeCILL_V2.1-en.txt | -rw-r--r-- | 21.3 KB |
README.md | -rw-r--r-- | 8.1 KB |