Skip to content
Snippets Groups Projects
Select Git revision
  • edd124f830971668adc375aa47772b5e3fad9455
  • master default protected
  • Subset
  • 2.1
  • 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

_CoqProject

Blame
    • François Clément's avatar
    Split ModuleSpace_compl into ModuleSpace_compl + ModuleSpace_FF_FT
    François Clément authored 
      + ModuleSpace_lin_comb + ModuleSpace_lin_map + ModuleSpace_sub.
Update doc (usage).
Update imports.
    edd124f8
    History
    François Clément's avatar edd124f8
    History
    _CoqProject 3.96 KiB