Author
Filter by author
Labels
Filter by label
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Document the code
#5 opened Oct 1, 2017 by rzach
Modularize code
#4 opened Oct 1, 2017 by rzach
Save, load proofs
#3 opened Oct 1, 2017 by rzach
ProTip! Follow long discussions with comments:>50.