https://github.com/ml4tp/gamepad
Tip revision: 7092f50a96eae9a862e72ecb8a55a217fa97723c authored by Dan Huang on 11 May 2019, 22:25:32 UTC
updating tcoq
updating tcoq
Tip revision: 7092f50
| File | Mode | Size |
|---|---|---|
| examples | ||
| gamepad | ||
| notebooks | ||
| ssreflect | ||
| tcoq @ 7a78c31 | ||
| .gitignore | -rw-r--r-- | 470 bytes |
| .gitmodules | -rw-r--r-- | 73 bytes |
| ACKNOWLEDGEMENTS | -rw-r--r-- | 438 bytes |
| LICENSE | -rw-r--r-- | 11.1 KB |
| README.md | -rw-r--r-- | 4.8 KB |
| build_all.sh | -rwxr-xr-x | 174 bytes |
| build_config.sh | -rw-r--r-- | 128 bytes |
| build_mathcomp.sh | -rwxr-xr-x | 190 bytes |
| build_oddorder.sh | -rwxr-xr-x | 336 bytes |
| build_tcoq.sh | -rwxr-xr-x | 133 bytes |
| chunk.py | -rw-r--r-- | 1.1 KB |
| chunkcoqlib.py | -rw-r--r-- | 1.2 KB |
| coq_lib_files.txt | -rw-r--r-- | 14.6 KB |
| get_data.sh | -rwxr-xr-x | 460 bytes |
| odd_order_files.txt | -rw-r--r-- | 649 bytes |
| parse_script.py | -rw-r--r-- | 3.8 KB |
| setup_tcoq.sh | -rwxr-xr-x | 120 bytes |
