Code

expeR#1047

Code

Merged

affeldt-aist merged 6 commits intomath-comp:mastermath-comp/analysis:masterfrom hoheinzollern:expehoheinzollern/analysis:expeCopy head branch name to clipboardNov 10, 2023

+76-2

Commits

Commits on Nov 10, 2023

• initial development of expeR

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  c14c9cc

• more lemmas

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  fa8a9ce

• wip

  affeldt-aist

  committed
  3bf39a1

• nitpicks

  Show description for 6d499b0
  affeldt-aist

  committed
  6d499b0

• changelog

  Show description for de64769
  affeldt-aist

  committed
  de64769

• doc

  affeldt-aist

  committed
  e09ab4a