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

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