| 2008-02-19 |
Ferruccio Guidi | dependences needed a fix :) |
tree | commitdiff |
| 2008-02-19 |
Ferruccio Guidi | we are moving the devel root one dir level up |
tree | commitdiff |
| 2008-02-19 |
Ferruccio Guidi | now inline "file.ma" is allowed. |
tree | commitdiff |
| 2008-02-19 |
Andrea Asperti | Added o.ma (some results about the magnitude of functio... |
tree | commitdiff |
| 2008-02-18 |
Andrea Asperti | Complete proof of Bertrand for n >= 256. |
tree | commitdiff |
| 2008-02-14 |
Andrea Asperti | Prima versione di bertrand. Tanti cambiamenti qua e la. |
tree | commitdiff |
| 2008-02-13 |
Ferruccio Guidi | baseuris removed from files |
tree | commitdiff |
| 2008-02-13 |
Ferruccio Guidi | fixed dependences |
tree | commitdiff |
| 2008-02-13 |
Ferruccio Guidi | renaming |
tree | commitdiff |
| 2008-02-13 |
Ferruccio Guidi | renaming |
tree | commitdiff |
| 2008-02-12 |
Ferruccio Guidi | renaming |
tree | commitdiff |
| 2008-02-12 |
Ferruccio Guidi | regeneration with new results |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | fixed path for matitadep |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | fixed make dist |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | better error message in case inclusion failed |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | allow to use "../foo/bar.ma" as a path for the include... |
tree | commitdiff |
| 2008-02-08 |
Andrea Asperti | progress. |
tree | commitdiff |
| 2008-02-08 |
Claudio Sacerdoti... | A formalization of modified realisability with truth... |
tree | commitdiff |
| 2008-02-08 |
Claudio Sacerdoti... | prodT merged with prod |
tree | commitdiff |
| 2008-02-07 |
Claudio Sacerdoti... | ProdT was a perfect copy of Prod. Removed. |
tree | commitdiff |
| 2008-02-07 |
Andrea Asperti | Results about Chebyshev teta function. |
tree | commitdiff |
| 2008-02-05 |
Andrea Asperti | Some more theorems. |
tree | commitdiff |
| 2008-02-05 |
Wilmer Ricciotti | lower bound for neper's constant |
tree | commitdiff |
| 2008-02-04 |
Enrico Tassi | sad snapshot |
tree | commitdiff |
| 2008-02-04 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-02-04 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-02-04 |
Andrea Asperti | Improved approximations for A and prim. |
tree | commitdiff |
| 2008-02-04 |
Andrea Asperti | Some improvement. |
tree | commitdiff |
| 2008-02-01 |
Enrico Tassi | very bad bug found, asert false in cicReduction when... |
tree | commitdiff |
| 2008-01-31 |
Wilmer Ricciotti | Square root added. |
tree | commitdiff |
| 2008-01-31 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-01-30 |
Andrea Asperti | Improved approximations |
tree | commitdiff |
| 2008-01-29 |
Andrea Asperti | New approximtions. |
tree | commitdiff |
| 2008-01-24 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-01-23 |
Enrico Tassi | snapshot with more duality, almost where we left withou... |
tree | commitdiff |
| 2008-01-22 |
Wilmer Ricciotti | Bertrand's conjecture (weak), some work in progress |
tree | commitdiff |
| 2008-01-21 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-01-21 |
Claudio Sacerdoti... | Matitac now accepts multiple targets :-) (but only... |
tree | commitdiff |
| 2008-01-21 |
Claudio Sacerdoti... | Hack for code extraction re-linked, but disactivated. |
tree | commitdiff |
| 2008-01-21 |
Claudio Sacerdoti... | Old tiny freescale experiment get rid of. |
tree | commitdiff |
| 2008-01-21 |
Claudio Sacerdoti... | Typo fixed. |
tree | commitdiff |
| 2008-01-21 |
Enrico Tassi | snopshot before isabellization |
tree | commitdiff |
| 2008-01-16 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-01-16 |
Enrico Tassi | 3.27 ok |
tree | commitdiff |
| 2008-01-16 |
Enrico Tassi | yes! the lattice_(#) -> prelattice(<) -> lattice(<... |
tree | commitdiff |
| 2008-01-15 |
Wilmer Ricciotti | update: upper bound for prim |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | more lemmas, til 3.26 |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | new deps |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | first lemma |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | fixed a pulback and proved 3.17 |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | user time is now printed correctly |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | fixed uris |
tree | commitdiff |
| 2008-01-14 |
Wilmer Ricciotti | Chebyshev's upper bound on prim |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | removed path for contribs |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | Make does not even try to build files that would be... |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | I'll talk again with ferruccio, for the moment this... |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | another fix to make it more resistant |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | many sed to use notation for rewriting |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | .opt before .byte |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | ugly hack to make matitac not exit when called on a... |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | added a warning if the baseuri we want to clean is... |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | -dot fixed, now the .dot file contains also edges |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | increased timout |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | removed useless assertion |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | increased a timeout, matitac (not .opt) should be able... |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | added Sys.catch_break true |
tree | commitdiff |
| 2008-01-10 |
Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE |
tree | commitdiff |
| 2007-12-21 |
Wilmer Ricciotti | beginning proof of chebyshev's bound on prim. |
tree | commitdiff |
| 2007-12-19 |
Enrico Tassi | accepts the poly shape for gviz maps |
tree | commitdiff |
| 2007-12-17 |
Wilmer Ricciotti | upper bound for logarithmic summation |
tree | commitdiff |
| 2007-12-17 |
Andrea Asperti | A few more lemmas. |
tree | commitdiff |
| 2007-12-16 |
Claudio Sacerdoti... | Much more verbose statistics. |
tree | commitdiff |
| 2007-12-16 |
Claudio Sacerdoti... | Bug fixed: \n prevented recognition. |
tree | commitdiff |
| 2007-12-13 |
Andrea Asperti | Some inequalities. |
tree | commitdiff |
| 2007-12-12 |
Wilmer Ricciotti | Progress. |
tree | commitdiff |
| 2007-12-12 |
Stefano Zacchiroli | add support for adding identifiers instead of only... |
tree | commitdiff |
| 2007-12-11 |
Andrea Asperti | Partial progress. |
tree | commitdiff |
| 2007-12-10 |
Enrico Tassi | more chosmetic |
tree | commitdiff |
| 2007-12-10 |
Andrea Asperti | Main result for e. |
tree | commitdiff |
| 2007-12-10 |
Enrico Tassi | sandeich lemma makeup |
tree | commitdiff |
| 2007-12-10 |
Andrea Asperti | Restructuring. |
tree | commitdiff |
| 2007-12-10 |
Andrea Asperti | Main inequalities for e. |
tree | commitdiff |
| 2007-12-09 |
Wilmer Ricciotti | Added summation formula for the power of a binomial. |
tree | commitdiff |
| 2007-12-08 |
Enrico Tassi | the is_structure is a bad idea if you don't have canoni... |
tree | commitdiff |
| 2007-12-07 |
Andrea Asperti | Binomial coefficients and costant e. |
tree | commitdiff |
| 2007-12-07 |
Andrea Asperti | A few more theorems. |
tree | commitdiff |
| 2007-12-06 |
Stefano Zacchiroli | dump spurious errors max |
tree | commitdiff |
| 2007-12-06 |
Enrico Tassi | excede->excess |
tree | commitdiff |
| 2007-12-06 |
Enrico Tassi | excedence -> excess |
tree | commitdiff |
| 2007-12-06 |
Enrico Tassi | weight -> value |
tree | commitdiff |
| 2007-12-05 |
Stefano Zacchiroli | dump result table in \TeX format |
tree | commitdiff |
| 2007-12-05 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | Repeated errors are not duplicated. |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | refactoring of some lemmas, shorter proofs |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | Added debugging option to ask for all disambiguation... |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | added do_heavy_checks documentation |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | do_heavy_checks not always true, take ths option from... |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | added do_heavy_checks default |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | Only errors from passes 4 and 6 are kept. |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | sandwitch theorem done |
tree | commitdiff |
| next |
projects / helm.git / history