1. 20 May, 2022 3 commits
  2. 19 May, 2022 1 commit
  3. 18 May, 2022 1 commit
  4. 17 May, 2022 1 commit
  5. 13 May, 2022 3 commits
  6. 12 May, 2022 2 commits
  7. 11 May, 2022 1 commit
  8. 10 May, 2022 1 commit
    • Mouhcine's avatar
      Add mathcomp library · 5ad9cd52
      Mouhcine authored
      Define R^d but still need to define VectType of functions.
      Define Lagrange polynomials for P1 and Q1 in d dimension.
      prove scal_zero_l_i lemma, thought it will be needed.
      5ad9cd52
  9. 09 May, 2022 1 commit
  10. 06 May, 2022 3 commits
  11. 05 May, 2022 2 commits
  12. 04 May, 2022 1 commit
    • Mouhcine's avatar
      try to proof shape_fun_lin_indep · 1b2f0bac
      Mouhcine authored
      define theta_ref, theta_cur, interp_op_cur and interp_op_comp.
      correct the proof of vertex_in_geom and remove useless code
      1b2f0bac
  13. 03 May, 2022 1 commit
  14. 28 Apr, 2022 4 commits
  15. 27 Apr, 2022 1 commit
  16. 26 Apr, 2022 5 commits
  17. 25 Apr, 2022 2 commits
    • Mouhcine's avatar
      add geometry.v in _CoqProject · d1f216a3
      Mouhcine authored
      move all section of geometry in a new file.v
      try an idea of a proof of linear independancy
      move some lemmas in sum_n.v and linear_map.v
      d1f216a3
    • Mouhcine's avatar
      renamed · 9132742f
      Mouhcine authored
      9132742f
  18. 22 Apr, 2022 2 commits
  19. 21 Apr, 2022 4 commits
  20. 20 Apr, 2022 1 commit