Open
Description
@EllenArlt and I are working on formalising one of my papers! Or at least a much better proof of the main theorem of one of my papers: the paper is https://arxiv.org/abs/1305.2156
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No type
No projects
No milestone
None yet
No branches or pull requests