FormaliaXiv has moved to
beyondthelibrary.github.io/formal_archive/
. Redirecting…