]>
2012-04-30 | Andrea Asperti | If machine | blob | commitdiff | raw |
2012-04-30 | Wilmer Ricciotti | Monotape turing machines update. | blob | commitdiff | raw | diff to current |
2012-04-27 | Wilmer Ricciotti | more loop proofs | blob | commitdiff | raw | diff to current |
2012-04-27 | Wilmer Ricciotti | loop functions | blob | commitdiff | raw | diff to current |
2012-04-27 | Andrea Asperti | loop functions | blob | commitdiff | raw | diff to current |
2012-04-27 | Andrea Asperti | Mono tape turing machines | blob | commitdiff | raw | diff to current |