https://github.com/CoqHott/sProp
Tip revision: 2c58441e8188bf9d22d7865081c86710ffb62826 authored by tabareau on 13 December 2018, 15:35:24 UTC
Update Prime.v
Update Prime.v
Tip revision: 2c58441
| File | Mode | Size |
|---|---|---|
| Basics.agda | -rw-r--r-- | 1.1 KB |
| LICENSE | -rw-r--r-- | 23.8 KB |
| Makefile | -rw-r--r-- | 243 bytes |
| MiniHoTT.v | -rw-r--r-- | 109.6 KB |
| Prime-sized.agda | -rw-r--r-- | 13.1 KB |
| Prime.agda | -rw-r--r-- | 4.8 KB |
| Prime.v | -rw-r--r-- | 5.3 KB |
| README.md | -rw-r--r-- | 1.5 KB |
| SetoidCwf.v | -rw-r--r-- | 22.8 KB |
| _CoqProject | -rw-r--r-- | 93 bytes |
