]>
2013-02-07 | Andrea Asperti | restructuring | blob | commitdiff | raw |
2013-01-29 | Wilmer Ricciotti | Yippeee! Completes proof of soundness of the universal... | blob | commitdiff | raw | diff to current |
2013-01-22 | Andrea Asperti | termination! | blob | commitdiff | raw | diff to current |
2013-01-22 | Andrea Asperti | Universal machine | blob | commitdiff | raw | diff to current |
2013-01-21 | Andrea Asperti | universal | blob | commitdiff | raw | diff to current |