Submission endpoint
CloK Press
A prototypical submission endpoint for mathematical networks.
PUBLISHED VIEWS
One submitted body of mathematics has two connected views: the authored network before proof-assistant formalization, and the declarations produced when that work is formalized.