| Name | Date | Size | |
|---|---|---|---|
| .. | 2017-12-09 20:20:39 | 117 | |
| Coerce.hs | 2016-03-25 20:00:16 | 8.6 KiB | |
| Comorphism.hs | 2016-06-16 15:34:50 | 19.8 KiB | |
| ExtSign.hs | 2016-03-25 20:00:16 | 6.5 KiB | |
| Grothendieck.hs | 2016-06-16 15:34:50 | 36.6 KiB | |
| KnownIris.hs | 2016-03-25 20:00:16 | 1.3 KiB | |
| LGToJson.hs | 2016-03-25 20:00:16 | 3.7 KiB | |
| LGToXml.hs | 2016-03-25 20:00:16 | 3.8 KiB | |
| Logic.hs | 2017-12-09 20:20:39 | 40.5 KiB | |
| Modification.hs | 2016-03-25 20:00:16 | 12.8 KiB | |
| Morphism.hs | 2016-08-02 14:50:02 | 14.9 KiB | |
| PrintLogics.hs | 2017-11-18 13:01:58 | 1.1 KiB | |
| Prover.hs | 2016-03-25 20:00:16 | 12.6 KiB |