Skip to content
Snippets Groups Projects
Select Git revision
  • 6e7faa0a132ce8bb6b0db7a8e8c67e9c91431f2a
  • master default protected
  • 2.1
  • Subset
  • FE_new_def
  • 2.0 protected
  • 1.0 protected
  • 2.0.0 protected
  • PhD_HM_2024
  • 1.0 protected
  • Bochner.1.0
  • Tonelli.1.0
  • LInt_p.1.0
13 results

rocq-num-analysis

user avatar
Define is_free_finite_is_basis and is_generator_finite_is_basis.
Mouhcine authored 
Prove interp_op_local_is_poly lemma.
Some issues of mult/scal in kronecker.v
d6db38bb
History
user avatar d6db38bb
History
Name Last commit Last update