| File | Mode | Size |
|---|---|---|
| Extraction.v | -rw-r--r-- | 1.6 KB |
| Loader.v | -rw-r--r-- | 121 bytes |
| PCUICSafeChecker.v | -rw-r--r-- | 57.6 KB |
| PCUICSafeConversion.v | -rw-r--r-- | 115.3 KB |
| PCUICSafeReduce.v | -rw-r--r-- | 49.5 KB |
| PCUICSafeRetyping.v | -rw-r--r-- | 11.0 KB |
| README.md | -rw-r--r-- | 615 bytes |
| SafeTemplateChecker.v | -rw-r--r-- | 5.7 KB |
