Mercurial > hg > Members > ryokka > HoareLogic

comparison utilities.agda @ 61:62dcb0ae2c94

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Soundness Proof
author ryokka
date Sat, 21 Dec 2019 19:37:41 +0900
parents a39a82820742
children 52d957db0222
comparison
equal deleted inserted replaced
60:ad83c2d5e869 61:62dcb0ae2c94