Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • Subset
  • essais-8.18
  • master default protected
  • no_ms
  • pr_no_math-comp
  • released
  • 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.021Feb171615141311109876432131Jan30282726252423201918171613109612Dec986130Nov28252322212017161514111094331Oct2827252120191817161312109876543229Sep2826222120191716141397652131Aug302310Jul874130Jun292827242322212017161514131098732130May25Finite_family:work on the proof of LagP1_is_free lemma.Bof._CoqProject:utiliser bigopMerge branch 'master' of https://www-lipn.univ-paris13.fr/coq-num-analysisIgn macOS stuff.Merge branch 'master' of https://www-lipn.univ-paris13.fr/coq-num-analysisFinite_family:Finite_family:Merge branch 'master' of https://www-lipn.univ-paris13.fr/coq-num-analysisDefine the set of multi indexMerge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysisFinite_family:P_approx_k polynomialsMerge branch 'master' of https://www-lipn.univ-paris13.fr/coq-num-analysisAvancer dans P_approx_1WIP: remainF_correct_{l,r}Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysisFinite_family:prove LagP1 is basis.Merge branch 'master' of https://www-lipn.univ-paris13.fr/coq-num-analysisAdd and prove P_approx_1_compat_fin lemma.Linalg_compl:Linalg_compl:Add def is_lin_dep := ~ is_free.Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysisLinalg_compl:Merge branch 'master' of https://www-lipn.univ-paris13.fr/coq-num-analysisAdd P_approx_k.v file.Finite_family:compatible:Linalg_compl:Finite_family:Simpler.Proof of is_generator_has_finite_dim.Add and prove lt_plus1, down_ord_proof, down_ord_correct.Finite_family:Finite_family:Finite_family: