Skip to content

Add a reader-first Version 2 proof roadmap - #46

Draft
SamPetkov wants to merge 4 commits into
agent/625-full-tex-mathematical-reauditfrom
agent/625-reader-roadmap-v2
Draft

Add a reader-first Version 2 proof roadmap#46
SamPetkov wants to merge 4 commits into
agent/625-full-tex-mathematical-reauditfrom
agent/625-reader-roadmap-v2

Validate the Version 2 reader roadmap

a1362ed
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar