New universes: Proof assistants and synthetic foundationsams.org1 point·hackandthink··0 commentsOpen articleSaveView on HN