matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/bertrand.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/bertrand.ma

2008-06-08	Claudio Sacerdoti...	generalize no more required before elim	blob \| commitdiff \| raw
2008-06-05	Claudio Sacerdoti...	Eratosthene's sieve factorized out of nat/bertrand...	blob \| commitdiff \| raw \| diff to current
2008-05-18	Claudio Sacerdoti...	Dummy dependent types are no longer cleaned in inductiv...	blob \| commitdiff \| raw \| diff to current
2008-03-26	Wilmer Ricciotti	Reorganization of list library (step 1)	blob \| commitdiff \| raw \| diff to current
2008-03-25	Wilmer Ricciotti	small update	blob \| commitdiff \| raw \| diff to current
2008-03-12	Claudio Sacerdoti...	Problem solved (was: apply needed an argument to avoid...	blob \| commitdiff \| raw \| diff to current
2008-03-12	Andrea Asperti	Nuova dimostrazione riflessiva di le_to_Bertrand.	blob \| commitdiff \| raw \| diff to current
2008-02-27	Wilmer Ricciotti	the proof of bertrand's conjecture is now complete	blob \| commitdiff \| raw \| diff to current
2008-02-22	Wilmer Ricciotti	sieve of erathostene (proof of soundness almost done)	blob \| commitdiff \| raw \| diff to current
2008-02-18	Andrea Asperti	Complete proof of Bertrand for n >= 256.	blob \| commitdiff \| raw \| diff to current
2008-02-14	Andrea Asperti	Prima versione di bertrand. Tanti cambiamenti qua e la.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.