]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10bb008) | patch
Yippeee! Completes proof of soundness of the universal machine
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 29 Jan 2013 10:36:18 +0000 (10:36 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 29 Jan 2013 10:36:18 +0000 (10:36 +0000)
commitd7d92f459cf6d76051c255497ee1ca898b111b76
tree5c5944ca00ce350419c3012d473b98005f975982tree | snapshot
parent10bb008413e04d44051590a8069e4f16f6f56102commit | diff
Yippeee! Completes proof of soundness of the universal machine
(multi-tape formalization).
matita/matita/lib/turing/multi_universal/unistep.ma diff | blob | history
matita/matita/lib/turing/multi_universal/unistep_aux.ma diff | blob | history
matita/matita/lib/turing/multi_universal/universal.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.