matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2009-06-05	Wilmer Ricciotti	- replaced part1a/defn with the version based on induction...	commit \| commitdiff \| tree
2009-06-03	Wilmer Ricciotti	Update, using induction/inversion.	commit \| commitdiff \| tree
2009-05-29	Wilmer Ricciotti	POPLmark part 1a using the de Bruijn encoding.	commit \| commitdiff \| tree
2009-04-22	Wilmer Ricciotti	syntax colouring for inverters	commit \| commitdiff \| tree
2009-04-22	Wilmer Ricciotti	Disabled debug prints in the inversion principle.	commit \| commitdiff \| tree
2009-04-22	Wilmer Ricciotti	New command "inverter" used to generate an induction...	commit \| commitdiff \| tree
2009-02-13	Wilmer Ricciotti	Axiomatization of real numbers (work in progress)	commit \| commitdiff \| tree
2008-12-15	Wilmer Ricciotti	Some changes to the pullback test, for debugging	commit \| commitdiff \| tree
2008-12-15	Wilmer Ricciotti	First attempt to implement unification hints.	commit \| commitdiff \| tree
2008-10-08	Wilmer Ricciotti	Fixed a performance problem with unif_machines and...	commit \| commitdiff \| tree
2008-10-03	Wilmer Ricciotti	Final implementation of proof irrelevant conversion...	commit \| commitdiff \| tree
2008-08-12	Wilmer Ricciotti	Fixed two legacy comments	commit \| commitdiff \| tree
2008-07-02	Wilmer Ricciotti	Fixed a bug which prevented mutually recursive definitions...	commit \| commitdiff \| tree
2008-06-13	Wilmer Ricciotti	final relevance check	commit \| commitdiff \| tree
2008-06-10	Wilmer Ricciotti	relevance check for Match	commit \| commitdiff \| tree
2008-06-10	Wilmer Ricciotti	Added check of relevance lists for inductive types...	commit \| commitdiff \| tree
2008-06-09	Wilmer Ricciotti	Reverting to the previous version some files which...	commit \| commitdiff \| tree
2008-06-09	Wilmer Ricciotti	more proof irrelevance	commit \| commitdiff \| tree
2008-06-04	Wilmer Ricciotti	Proof-irrelevance check for all applications (first...	commit \| commitdiff \| tree
2008-06-04	Wilmer Ricciotti	incomplete irrelevance test commented out	commit \| commitdiff \| tree
2008-05-02	Wilmer Ricciotti	Some destruct tactics got broken after last update...	commit \| commitdiff \| tree
2008-04-24	Wilmer Ricciotti	Proof of adequacy.	commit \| commitdiff \| tree
2008-03-27	Wilmer Ricciotti	Updated depedencies.	commit \| commitdiff \| tree
2008-03-26	Wilmer Ricciotti	Reorganization of list library (step 1)	commit \| commitdiff \| tree
2008-03-25	Wilmer Ricciotti	small update	commit \| commitdiff \| tree
2008-02-27	Wilmer Ricciotti	the proof of bertrand's conjecture is now complete	commit \| commitdiff \| tree
2008-02-22	Wilmer Ricciotti	sieve of erathostene (proof of soundness almost done)	commit \| commitdiff \| tree
2008-02-05	Wilmer Ricciotti	lower bound for neper's constant	commit \| commitdiff \| tree
2008-01-31	Wilmer Ricciotti	One Obj.magic implemented, trust changed to false.	commit \| commitdiff \| tree
2008-01-31	Wilmer Ricciotti	Transformation back and forth between old and new representation	commit \| commitdiff \| tree
2008-01-31	Wilmer Ricciotti	Square root added.	commit \| commitdiff \| tree
2008-01-22	Wilmer Ricciotti	Bertrand's conjecture (weak), some work in progress	commit \| commitdiff \| tree
2008-01-15	Wilmer Ricciotti	update: upper bound for prim	commit \| commitdiff \| tree
2008-01-14	Wilmer Ricciotti	Chebyshev's upper bound on prim	commit \| commitdiff \| tree
2007-12-21	Wilmer Ricciotti	beginning proof of chebyshev's bound on prim.	commit \| commitdiff \| tree
2007-12-17	Wilmer Ricciotti	upper bound for logarithmic summation	commit \| commitdiff \| tree
2007-12-12	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2007-12-09	Wilmer Ricciotti	Added summation formula for the power of a binomial.	commit \| commitdiff \| tree
2007-10-12	Wilmer Ricciotti	Fixed baseuri	commit \| commitdiff \| tree
2007-10-12	Wilmer Ricciotti	Part1a update...	commit \| commitdiff \| tree
2007-09-24	Wilmer Ricciotti	Last version of poplmark 1a, featuring new proof, only...	commit \| commitdiff \| tree
2007-09-12	Wilmer Ricciotti	Updated, proofs are now about 750 lines.	commit \| commitdiff \| tree
2007-07-26	Wilmer Ricciotti	Some notation added	commit \| commitdiff \| tree
2007-07-16	Wilmer Ricciotti	corrected axiom mod_plus	commit \| commitdiff \| tree
2007-06-21	Wilmer Ricciotti	PoplMark challenge part 1a: new, shorter version w...	commit \| commitdiff \| tree
2007-01-18	Wilmer Ricciotti	new version, using new tacticals	commit \| commitdiff \| tree
2006-11-30	Wilmer Ricciotti	library/Fsub: minor fix	commit \| commitdiff \| tree
2006-11-30	Wilmer Ricciotti	library: added solution to POPLMark challenge part...	commit \| commitdiff \| tree

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

RSS Atom