Mercurial > hg > Members > ryokka > HoareLogic

comparison utilities.agda @ 35:7c739972cd26

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add loopProof
author ryokka
date Fri, 13 Dec 2019 19:23:15 +0900
parents a39a82820742
children 52d957db0222
comparison
equal deleted inserted replaced
34:9caff4e4a402 35:7c739972cd26