| File | Mode | Size |
|---|---|---|
| README.md | -rw-r--r-- | 311 bytes |
| control.mod | -rw-r--r-- | 56 bytes |
| dd-fpc.mod | -rw-r--r-- | 854 bytes |
| deb-fpc.mod | -rw-r--r-- | 649 bytes |
| deb-fpc.sig | -rw-r--r-- | 825 bytes |
| iforms.mod | -rw-r--r-- | 233 bytes |
| iforms.sig | -rw-r--r-- | 670 bytes |
| ljf-certificates.sig | -rw-r--r-- | 992 bytes |
| ljf-dep.mod | -rw-r--r-- | 7.2 KB |
| ljf-formulas.mod | -rw-r--r-- | 23 bytes |
| ljf-formulas.sig | -rw-r--r-- | 743 bytes |
| ljf-kernel.mod | -rw-r--r-- | 3.4 KB |
| ljf-kernel.sig | -rw-r--r-- | 703 bytes |
| ljf-lambda-certificates.sig | -rw-r--r-- | 1.1 KB |
| ljf-lambda.mod | -rw-r--r-- | 3.7 KB |
| ljf-lambda.sig | -rw-r--r-- | 719 bytes |
| ljf-polarize.mod | -rw-r--r-- | 1.2 KB |
| ljf-polarize.sig | -rw-r--r-- | 286 bytes |
| maximal-fpc.mod | -rw-r--r-- | 1.2 KB |
| maximal-fpc.sig | -rw-r--r-- | 571 bytes |
| pairing-fpc.mod | -rw-r--r-- | 2.3 KB |
| pairing-fpc.sig | -rw-r--r-- | 172 bytes |
| spy.mod | -rw-r--r-- | 151 bytes |
| spy.sig | -rw-r--r-- | 105 bytes |
| stlc-fpc.mod | -rw-r--r-- | 334 bytes |
| stlc-fpc.sig | -rw-r--r-- | 274 bytes |
| tools.elpi | -rw-r--r-- | 150 bytes |
