Mercurial > hg > Members > kono > Proof > FirstOrder
directory / @ 13:b8b3eaf0dd61
name | size | permissions |
---|---|---|
Logic.agda | 2101 | -rw-r--r-- |
clausal.agda | 4366 | -rw-r--r-- |
example1.agda | 1245 | -rw-r--r-- |
example2.agda | 2278 | -rw-r--r-- |
simple-logic.agda | 1928 | -rw-r--r-- |