]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/bertrand.ma
...
[helm.git] / helm / software / matita / library / nat / bertrand.ma
2008-06-08 Claudio Sacerdoti... generalize no more required before elim
2008-06-05 Claudio Sacerdoti... Eratosthene's sieve factorized out of nat/bertrand...
2008-05-18 Claudio Sacerdoti... Dummy dependent types are no longer cleaned in inductiv...
2008-03-26 Wilmer RicciottiReorganization of list library (step 1)
2008-03-25 Wilmer Ricciottismall update
2008-03-12 Claudio Sacerdoti... Problem solved (was: apply needed an argument to avoid...
2008-03-12 Andrea AspertiNuova dimostrazione riflessiva di le_to_Bertrand.
2008-02-27 Wilmer Ricciottithe proof of bertrand's conjecture is now complete
2008-02-22 Wilmer Ricciottisieve of erathostene (proof of soundness almost done)
2008-02-18 Andrea AspertiComplete proof of Bertrand for n >= 256.
2008-02-14 Andrea AspertiPrima versione di bertrand. Tanti cambiamenti qua e la.