Code

Adjoint solver#235

Code

Open

TOTBWF wants to merge 5 commits intomainthe1lab/1lab:mainfrom adjoint-solverthe1lab/1lab:adjoint-solverCopy head branch name to clipboard

+929

Commits

Commits on Jun 1, 2023

• wip: adjoint solver

  TOTBWF

  committed
  a380a12

  Copy full SHA for a380a12

• def: factor out ⟦-⟧ notation into Meta

  TOTBWF

  committed
  32f1d82

  Copy full SHA for 32f1d82

• wip: cleanup

  TOTBWF

  committed
  9244df7

  Copy full SHA for 9244df7

• def: write prose

  TOTBWF

  committed
  5e44524

  Copy full SHA for 5e44524

• def: update index

  TOTBWF

  committed
  dc77649

  Copy full SHA for dc77649