Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 4289.v | 261 | logplain |
-rw-r--r-- | Back.v | 194 | logplain |
-rw-r--r-- | Evar.v | 178 | logplain |
-rw-r--r-- | ParalITP.v | 741 | logplain |
-rw-r--r-- | ParalITP_smallproofs.v | 62715 | logplain |
-rw-r--r-- | PrimNotation.v | 2694 | logplain |
-rw-r--r-- | proof_block.v | 965 | logplain |