]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2e4cf6) | patch
1. loop invariant stated, but not proved
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jul 2007 14:54:04 +0000 (14:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jul 2007 14:54:04 +0000 (14:54 +0000)
commit1ba40bb933a52a28215474dae0c744914dcb95bf
tree402ff57f0abcb4c218610712f7e5a099618e3bb9tree | snapshot
parentb2e4cf6b1054d4f67f5223fb826aa885325fde35commit | diff
1. loop invariant stated, but not proved
2. final theorem stated and proved
matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.