Mercurial > hg > Members > ryokka > HoareLogic
directory / @ 98:2d2b0b06945b default tip
name | size | permissions |
---|---|---|
Hoare.agda | 2738 | -rw-r--r-- |
HoareSoundness.agda | 7523 | -rw-r--r-- |
Readme.md | 5722 | -rw-r--r-- |
ReadmeGears.md | 2663 | -rw-r--r-- |
RelOp.agda | 2618 | -rw-r--r-- |
Todo | 374 | -rw-r--r-- |
utilities.agda | 5006 | -rw-r--r-- |
whileTestGears.agda | 6188 | -rw-r--r-- |
whileTestGears1.agda | 4293 | -rw-r--r-- |
whileTestPrim.agda | 2224 | -rw-r--r-- |
whileTestPrimProof.agda | 11220 | -rw-r--r-- |