| -rw-r--r-- | cli.py | 6.9 KiB | dd6b9d1661 perf(frontend): use verified tail recursive parsing and resolution | 13 days ago |
| -rw-r--r-- | Examples.thy | 2.2 KiB | a3a9eb2664 feat(encoding): prove canonical decoding and instruction injectivity | 13 days ago |
| -rw-r--r-- | cli.py | 6.9 KiB | dd6b9d1661 perf(frontend): use verified tail recursive parsing and resolution | 13 days ago |
| -rw-r--r-- | Examples.thy | 2.2 KiB | a3a9eb2664 feat(encoding): prove canonical decoding and instruction injectivity | 13 days ago |