Skip to content

papers: design sketch outline for arxiv position paper (#67)#74

Merged
proofmancer merged 1 commit into
mainfrom
paper/design-sketch-outline
May 26, 2026
Merged

papers: design sketch outline for arxiv position paper (#67)#74
proofmancer merged 1 commit into
mainfrom
paper/design-sketch-outline

papers: design sketch outline for arxiv position paper (#67)

4a72827
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar