]>
2010-03-31 | Claudio Sacerdoti... | Use the inversion! | blob | commitdiff | raw |
2010-03-26 | Claudio Sacerdoti... | Good definition found. | blob | commitdiff | raw | diff to current |
2010-03-26 | Claudio Sacerdoti... | (Co)Inductively Generated Formal Topologies (not only... | blob | commitdiff | raw | diff to current |
2010-03-25 | Matthias Puech | patched the definition of locate, advances in locate_ad... | blob | commitdiff | raw | diff to current |
2010-03-25 | Matthias Puech | Automation problem | blob | commitdiff | raw | diff to current |
2010-03-25 | Andrea Asperti | More work | blob | commitdiff | raw | diff to current |
2010-03-25 | Andrea Asperti | cosi va (se vi pare). | blob | commitdiff | raw | diff to current |
2010-03-24 | Claudio Sacerdoti... | Nice examples for automation (that fails). | blob | commitdiff | raw | diff to current |
2010-03-24 | Claudio Sacerdoti... | Real numbers as co-inductive streams of digits (overlap... | blob | commitdiff | raw | diff to current |