Skip to content

Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda - #166

Open
hyperpolymath wants to merge 14 commits into
mainfrom
arena/ed943c46-januskey
Open

Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda#166
hyperpolymath wants to merge 14 commits into
mainfrom
arena/ed943c46-januskey

Commits

  1. Commits on Nov 1, 2026