| 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 |
