| drwxr-xr-x | cli/ | a68ad347f4 initial commit | 13 days ago | |
| drwxr-xr-x | examples/ | a68ad347f4 initial commit | 13 days ago | |
| drwxr-xr-x | media/ | a68ad347f4 initial commit | 13 days ago | |
| drwxr-xr-x | src/ | dd6b9d1661 perf(frontend): use verified tail recursive parsing and resolution | 13 days ago | |
| drwxr-xr-x | tests/ | dd6b9d1661 perf(frontend): use verified tail recursive parsing and resolution | 13 days ago | |
| -rw-r--r-- | .gitignore | 22 bytes | a68ad347f4 initial commit | 13 days ago |
| lrwxrwxrwx | Encoding.thy | 16 bytes | a68ad347f4 initial commit | 13 days ago |
| lrwxrwxrwx | Machine.thy | 15 bytes | a68ad347f4 initial commit | 13 days ago |
| -rw-r--r-- | Makefile | 611 bytes | a68ad347f4 initial commit | 13 days ago |
| -rw-r--r-- | README.md | 1.0 KiB | a68ad347f4 initial commit | 13 days ago |
| lrwxrwxrwx | Relax.thy | 13 bytes | a68ad347f4 initial commit | 13 days ago |
| -rw-r--r-- | ROOT | 219 bytes | a68ad347f4 initial commit | 13 days ago |
| -rwxr-xr-x | span | 234 bytes | a68ad347f4 initial commit | 13 days ago |