| File | Mode | Size |
|---|---|---|
| SQIR | ||
| VOQC | ||
| examples | ||
| externals | ||
| .gitignore | -rw-r--r-- | 258 bytes |
| .gitmodules | -rw-r--r-- | 192 bytes |
| LICENSE.md | -rw-r--r-- | 1.1 KB |
| Makefile | -rw-r--r-- | 7.5 KB |
| README.md | -rw-r--r-- | 7.9 KB |
| _CoqProject | -rw-r--r-- | 344 bytes |
| _CoqProjectEuler | -rw-r--r-- | 253 bytes |
