https://github.com/skbaek/tesc
Tip revision: 1fc4cfdbcb87d272db6cadfa4b106c4477ab67b5 authored by skbaek on 21 April 2021, 07:28:12 UTC
More formatting fixes for ITP
More formatting fixes for ITP
Tip revision: 1fc4cfd
File | Mode | Size |
---|---|---|
.vscode | ||
t3p-rs | ||
test_scripts | ||
vtv | ||
.gitattributes | -rw-r--r-- | 45 bytes |
.gitignore | -rw-r--r-- | 269 bytes |
LICENSE | -rw-r--r-- | 1.0 KB |
README.md | -rw-r--r-- | 2.3 KB |
basic.pl | -rw-r--r-- | 55.8 KB |
esolve.pl | -rw-r--r-- | 16.8 KB |
makefile | -rw-r--r-- | 252 bytes |
notes_on_ITP_test_results.md | -rw-r--r-- | 1.3 KB |
prove.pl | -rw-r--r-- | 38.7 KB |
results.csv | -rw-r--r-- | 3.0 MB |
t3p.pl | -rw-r--r-- | 1.7 KB |
verify.pl | -rw-r--r-- | 9.2 KB |
vsolve.pl | -rw-r--r-- | 4.4 KB |