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 |