Skip to content

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

Merged
hyperpolymath merged 14 commits into
mainfrom
arena/ed943c46-januskey
Nov 3, 2026
Merged

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

docs(reversible-core): Clarify atomic write permissions, errors, and …

5a32c80
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar