Code

Hb queue#1159

Code

Merged

proux01 merged 6 commits intomath-comp:hierarchy-buildermath-comp/analysis:hierarchy-builderfrom affeldt-aist:hb_queueaffeldt-aist/analysis:hb_queueCopy head branch name to clipboardJan 20, 2024

+2,830-414

Commits

Commits on Jan 18, 2024

• fixes math-comp#1131 (math-comp#1132)

  Show description for 460fd64
  affeldt-aist

  committed
  460fd64

  Copy full SHA for 460fd64

Commits on Jan 20, 2024

• generalizations (math-comp#1147)

  Show description for 7581856
  

  affeldt-aist

  authored and

  proux01

  committed
  7581856

  Copy full SHA for 7581856

• Curry is continuous (math-comp#926)

  Show description for 0a1f1dc
  

  2 peopleauthored and

  proux01

  committed
  0a1f1dc

  Copy full SHA for 0a1f1dc

• Add contra tactics

  Show description for 287779b
  

  2 peopleauthored and

  proux01

  committed
  287779b

  Copy full SHA for 287779b

• Total variation (math-comp#1118)

  Show description for 6389574
  

  2 peopleauthored and

  proux01

  committed
  6389574

  Copy full SHA for 6389574

• changelog for version 0.7.0 (math-comp#1158)

  Show description for 342d410
  

  affeldt-aist

  authored and

  proux01

  committed
  342d410

  Copy full SHA for 342d410