Mercurial > hg > Members > ryokka > HoareLogic

comparison HoareSoundness.agda @ 80:148feaa1e346

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
write loopPPSemInduct
author ryokka
date Wed, 01 Jan 2020 21:50:38 +0900
parents 222dd3869ab0
children
comparison
equal deleted inserted replaced
79:52d957db0222 80:148feaa1e346