https://github.com/ekiciburak/impex-on-decorated-logic
Tip revision: cdfd22e36e6e0c4b001d23f0cf30c73a2c6867bd authored by ekiciburak on 13 September 2018, 17:24:43 UTC
decorations that (co)pairs and comp meet...
decorations that (co)pairs and comp meet...
Tip revision: cdfd22e
| File | Mode | Size |
|---|---|---|
| Axioms.v | -rw-r--r-- | 7.6 KB |
| COPYING | -rw-r--r-- | 34.3 KB |
| COPYING.LESSER | -rw-r--r-- | 7.5 KB |
| Decorations.v | -rw-r--r-- | 5.7 KB |
| Derived_co_Pairs.v | -rw-r--r-- | 5.5 KB |
| Derived_co_Products.v | -rw-r--r-- | 3.8 KB |
| Functions.v | -rw-r--r-- | 3.1 KB |
| IMPEX_Proofs.v | -rw-r--r-- | 7.7 KB |
| IMPEX_to_COQ.v | -rw-r--r-- | 9.9 KB |
| LICENSE | -rw-r--r-- | 639 bytes |
| Memory.v | -rw-r--r-- | 1.1 KB |
| Proofs.v | -rw-r--r-- | 13.1 KB |
| README.md | -rw-r--r-- | 322 bytes |
| README.txt | -rw-r--r-- | 1.5 KB |
| Terms.v | -rw-r--r-- | 2.5 KB |
| files.txt | -rw-r--r-- | 131 bytes |
