Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • Subset
  • master default protected
  • no_ms
  • pr_no_math-comp
  • released
  • rocq-num-analysis-2.0
  • test_skolem_ko
  • PhD_HM_2024
  • 1.0
  • Bochner.1.0
  • Tonelli.1.0
  • LInt_p.1.0
12 results
Created with Raphaël 2.2.029Apr1716151498532131Mar282726252423212019181716151412111098765432128Feb27262524232221201918171615141312111098765432131Jan3029282724232221201918171615Rm stuff not to be published.rocq-num-analys…rocq-num-analysis-2.0Maj.mastermasterNew name.Mv Requisite/Logic/Numbers/Subsets to new Subset.Maj opam description files.envelop -> hullFirst version of config files for opam packages rocq-num-analysis-*.MOTS.no_msno_msMerge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysisCompatibility with 9.0 (hopefully)Quad -> CuboidMOTSTry to use new fct_AS.Some cleaning.Going on with Arrow (become fct).Resurrect Hface_aff_span.Arrow.Rename PdSk_split* -> PSdSk_split*.Stick to the paper!Cosmetics.Merge _CoqProject.Numbers and Subsets/_CoqProject.Subsets into _CoqProject.Subsets.Rename vertices -> K_vertices.Rename PI -> UP.First draft for specific _CoqProject files for the future Opam packages.Hide again Lebedgue + LM.Maj doc.Temporarily resurrect Lebesgue + LM.Maj HTML.Rename *_ms -> *.Add canonical structures for all 5 versions of fct_Ring_affineSpace.WIP: try to define canonical structures on aliases of T -> E.Rename T_geom_Hface* -> inj_Hface*.Rename inj_ASdki_{0,S}' -> inj_ASdki_{0,S}_alt.Change of type of inj_ASdkiRename nat_ind2_alt2_11 <-> nat_ind2_alt_11.admit forgottenMerge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysis< to <> (end)Fix doc pbs + maj HTML.Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysis