- Convert library files with DeduktiFLE
- Place library files in
ctslib/ - Add definitions to add polymorphism to in
whitelist.txt - Do
./run.sh - To convert using universo copy files to universo-translator/ctslib and run
./test.sh -lum connectives.dk logic.dk(Make sure to use the latest version fromfirewall2142/universo-translator)
firewall2142/Dedukti-polymorphism
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|