Code

Strict order equational reasoning#1203

Code

Merged

felixwellen merged 2 commits intoagda:masteragda/cubical:masterfrom

LorenzoMolena:StrictOrderEquationalReasoningLorenzoMolena/cubical:StrictOrderEquationalReasoningCopy head branch name to clipboard

May 19, 2025

Commits

Commits on Apr 18, 2025

• Add QuosetReasoning.agda

  Show description for c2717bb
  

  LorenzoMolena

  and

  hexwell

  committed
  c2717bb

  Copy full SHA for c2717bb

• add missing `no-eta-equality` in SubRelation, make SubRelation instance private

  LorenzoMolena

  committed
  ac71060

  Copy full SHA for ac71060