File | Mode | Size |
---|---|---|
BPCP_CND.v | -rw-r--r-- | 6.0 KB |
BPCP_FOL.v | -rw-r--r-- | 8.7 KB |
BPCP_IFOL.v | -rw-r--r-- | 2.0 KB |
DecidableEnumerable.v | -rw-r--r-- | 13.6 KB |
Deduction.v | -rw-r--r-- | 11.4 KB |
FOL.v | -rw-r--r-- | 4.6 KB |
Infinite.v | -rw-r--r-- | 5.8 KB |
Kripke.v | -rw-r--r-- | 9.5 KB |
LICENSE | -rw-r--r-- | 1.2 KB |
MarkovPost.v | -rw-r--r-- | 4.9 KB |
PCP.v | -rw-r--r-- | 2.2 KB |
Prelim.v | -rw-r--r-- | 27.8 KB |
README.md | -rw-r--r-- | 506 bytes |
Reductions.v | -rw-r--r-- | 2.2 KB |
Semantics.v | -rw-r--r-- | 4.1 KB |
Weakening.v | -rw-r--r-- | 5.2 KB |