| 2021-06-17 |
Ferruccio Guidi | update in alpha_1
|
commit | commitdiff | tree |
| 2021-06-14 |
Ferruccio Guidi | λδ site update
|
commit | commitdiff | tree |
| 2021-05-29 |
Ferruccio Guidi | update in ground
|
commit | commitdiff | tree |
| 2021-05-29 |
Ferruccio Guidi | λδ site update
|
commit | commitdiff | tree |
| 2021-05-29 |
Ferruccio Guidi | probe
|
commit | commitdiff | tree |
| 2021-05-29 |
Ferruccio Guidi | nCicLibrary
|
commit | commitdiff | tree |
| 2021-05-29 |
Ferruccio Guidi | update in ground
|
commit | commitdiff | tree |
| 2021-05-28 |
Ferruccio Guidi | cic notation parser
|
commit | commitdiff | tree |
| 2021-05-28 |
Ferruccio Guidi | milestone update in ground
|
commit | commitdiff | tree |
| 2021-03-18 |
Ferruccio Guidi | grafite parser updated
|
commit | commitdiff | tree |
| 2021-03-15 |
Ferruccio Guidi | propagating the arithmetics library, partial commit
|
commit | commitdiff | tree |
| 2021-02-28 |
Ferruccio Guidi | update in ground
|
commit | commitdiff | tree |
| 2021-02-28 |
Ferruccio Guidi | update in ground
|
commit | commitdiff | tree |
| 2021-02-28 |
Ferruccio Guidi | update in gruound
|
commit | commitdiff | tree |
| 2021-02-27 |
Ferruccio Guidi | update in ground
|
commit | commitdiff | tree |
| 2021-02-27 |
Ferruccio Guidi | removing old contribs
|
commit | commitdiff | tree |
| 2021-02-26 |
Ferruccio Guidi | removing old contribs
|
commit | commitdiff | tree |
| 2021-02-26 |
Ferruccio Guidi | propagating the arithmetics library, partial commit
|
commit | commitdiff | tree |
| 2021-02-24 |
Ferruccio Guidi | update in bin
|
commit | commitdiff | tree |
| 2021-02-17 |
Ferruccio Guidi | propagating the arithmetics library, partial commit
|
commit | commitdiff | tree |
| 2021-02-15 |
Ferruccio Guidi | milestone update in ground, partial commit
|
commit | commitdiff | tree |
| 2021-01-14 |
Ferruccio Guidi | arithmetics for λδ
|
commit | commitdiff | tree |
| 2021-01-08 |
Ferruccio Guidi | arithmetics for λδ
|
commit | commitdiff | tree |
| 2021-01-04 |
Ferruccio Guidi | arithmetics for λδ
|
commit | commitdiff | tree |
| 2021-01-01 |
Ferruccio Guidi | arithmetics for λδ
|
commit | commitdiff | tree |
| 2020-12-28 |
Ferruccio Guidi | arithmetics for λδ
|
commit | commitdiff | tree |
| 2020-12-22 |
Ferruccio Guidi | arithmetics for λδ
|
commit | commitdiff | tree |
| 2020-12-08 |
Ferruccio Guidi | λδ-2B and λδ-ground repackaged for publication
|
commit | commitdiff | tree |
| 2020-12-07 |
Ferruccio Guidi | λδ web site update
|
commit | commitdiff | tree |
| 2020-10-15 |
Ferruccio Guidi | update in static_2
|
commit | commitdiff | tree |
| 2020-09-27 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2020-09-25 |
Ferruccio Guidi | minor additions to standard library
|
commit | commitdiff | tree |
| 2020-09-25 |
Ferruccio Guidi | milestone update in basic_2
|
commit | commitdiff | tree |
| 2020-07-18 |
Ferruccio Guidi | update in static_2
|
commit | commitdiff | tree |
| 2020-04-30 |
Ferruccio Guidi | decentralized notation in lambda
|
commit | commitdiff | tree |
| 2020-04-24 |
Ferruccio Guidi | update in staic_2 and basic_2
|
commit | commitdiff | tree |
| 2020-04-21 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2020-04-18 |
Ferruccio Guidi | milestone update in basic_2, update in ground and static_2
|
commit | commitdiff | tree |
| 2020-04-09 |
Ferruccio Guidi | update in binararies for λδ
|
commit | commitdiff | tree |
| 2020-04-09 |
Ferruccio Guidi | renaming in basics/relations
|
commit | commitdiff | tree |
| 2020-02-27 |
Ferruccio Guidi | ground_2 released and permanently renamed as ground
|
commit | commitdiff | tree |
| 2020-02-17 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-02-10 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-02-08 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-02-03 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-01-18 |
Ferruccio Guidi | update in lambdadelta
|
commit | commitdiff | tree |
| 2020-01-06 |
Ferruccio Guidi | update in ground_2
|
commit | commitdiff | tree |
| 2020-01-06 |
Ferruccio Guidi | update in ground_2, static_2, basic_2
|
commit | commitdiff | tree |
| 2019-12-20 |
Ferruccio Guidi | web site update
|
commit | commitdiff | tree |
| 2019-12-09 |
Ferruccio Guidi | mechanizing the generation of index files for λδ web...
|
commit | commitdiff | tree |
| 2019-12-09 |
Ferruccio Guidi | grundlagen web pages updated
|
commit | commitdiff | tree |
| 2019-12-02 |
Ferruccio Guidi | updated web site
|
commit | commitdiff | tree |
| 2019-11-18 |
Ferruccio Guidi | update for the article
|
commit | commitdiff | tree |
| 2019-10-28 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2019-10-21 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2019-10-18 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/ld-0.99.3'
|
commit | commitdiff | tree |
| 2019-10-14 |
Ferruccio Guidi | WIP on cpce ...
|
commit | commitdiff | tree |
| 2019-10-14 |
Ferruccio Guidi | some added lemmas removed from auto
|
commit | commitdiff | tree |
| 2019-10-14 |
Ferruccio Guidi | backport of WIP on \lambda\delta to matita 0.99.3
|
commit | commitdiff | tree |
| 2019-09-30 |
Ferruccio Guidi | update in ground_2 and basic_2
|
commit | commitdiff | tree |
| 2019-09-29 |
Ferruccio Guidi | update in static_2
|
commit | commitdiff | tree |
| 2019-09-28 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2019-09-23 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2019-09-18 |
Ferruccio Guidi | update in static_2
|
commit | commitdiff | tree |
| 2019-09-18 |
Ferruccio Guidi | new web site page
|
commit | commitdiff | tree |
| 2019-09-18 |
Ferruccio Guidi | update in static_2 and basic_2
|
commit | commitdiff | tree |
| 2019-08-31 |
Ferruccio Guidi | update in static_2 and basic_2
|
commit | commitdiff | tree |
| 2019-08-23 |
Ferruccio Guidi | update in ground_2 static_2 basic_2
|
commit | commitdiff | tree |
| 2019-08-19 |
Ferruccio Guidi | still more additions and corrections for the article
|
commit | commitdiff | tree |
| 2019-07-15 |
Ferruccio Guidi | additions and corrections for the article on λδ-2B
|
commit | commitdiff | tree |
| 2019-06-02 |
Ferruccio Guidi | milestone in basic_2
|
commit | commitdiff | tree |
| 2019-04-08 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2019-03-04 |
Ferruccio Guidi | first steps towards decidability of the validity predicate
|
commit | commitdiff | tree |
| 2019-02-04 |
Ferruccio Guidi | minor corrections and updates
|
commit | commitdiff | tree |
| 2019-01-01 |
Ferruccio Guidi | the decentralization of core notation continues ...
|
commit | commitdiff | tree |
| 2018-12-17 |
Ferruccio Guidi | list of failing files updated
|
commit | commitdiff | tree |
| 2018-12-10 |
Ferruccio Guidi | web site update
|
commit | commitdiff | tree |
| 2018-11-19 |
Ferruccio Guidi | supplementary files for web site
|
commit | commitdiff | tree |
| 2018-11-19 |
Ferruccio Guidi | Merge branch 'master' of ssh://matita.cs.unibo.it:...
|
commit | commitdiff | tree |
| 2018-11-19 |
Ferruccio Guidi | some supplementary items for web site
|
commit | commitdiff | tree |
| 2018-11-06 |
Ferruccio Guidi | update in bsasic_2
|
commit | commitdiff | tree |
| 2018-11-06 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-11-05 |
Ferruccio Guidi | update in basic_2, static_2, web site
|
commit | commitdiff | tree |
| 2018-11-02 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-10-15 |
Ferruccio Guidi | auxiliary update in basic_2
|
commit | commitdiff | tree |
| 2018-10-01 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-09-29 |
Ferruccio Guidi | update in basic_2 and apps_2
|
commit | commitdiff | tree |
| 2018-09-13 |
Ferruccio Guidi | dependences for ocaml version 4.05.0
|
commit | commitdiff | tree |
| 2018-09-08 |
Ferruccio Guidi | update in static_2 and basic_2
|
commit | commitdiff | tree |
| 2018-09-01 |
Ferruccio Guidi | update in basic_2 and ground_2
|
commit | commitdiff | tree |
| 2018-08-19 |
Ferruccio Guidi | severe bug found in parallel zeta
|
commit | commitdiff | tree |
| 2018-08-18 |
Ferruccio Guidi | severe bug found in parallel zeta
|
commit | commitdiff | tree |
| 2018-08-16 |
Ferruccio Guidi | severe bug found in parallel zeta
|
commit | commitdiff | tree |
| 2018-08-14 |
Ferruccio Guidi | severe bug found in parallel zeta
|
commit | commitdiff | tree |
| 2018-08-07 |
Ferruccio Guidi | commit in ground_2, static_2, basic_2, apps_2
|
commit | commitdiff | tree |
| 2018-08-01 |
Ferruccio Guidi | parameter sintax added to axiom statement
|
commit | commitdiff | tree |
| 2018-08-01 |
Ferruccio Guidi | update in ground_2 and basic_2
|
commit | commitdiff | tree |
| 2018-07-28 |
Ferruccio Guidi | update in ground_2 and basic_2
|
commit | commitdiff | tree |
| 2018-07-27 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-07-02 |
Ferruccio Guidi | syntactic components detached from basic_2 become static_2
|
commit | commitdiff | tree |
| next |
projects / helm.git / search