Code

Overview of SvDR20 formalization#1144

Code

Merged

EgbertRijke merged 2 commits intoUniMath:masterUniMath/agda-unimath:masterfrom VojtechStep:feature/papers-overviewVojtechStep/agda-unimath:feature/papers-overviewCopy head branch name to clipboardJun 5, 2024

+322

Commits

Commits on May 30, 2024

• Bring back the overview of SvDR20 formalization

  VojtechStep

  committed
  33dcd06

Commits on Jun 5, 2024

• Merge branch 'master' into feature/papers-overview

  EgbertRijke

  authored
  cd095b6