Palomar: Registry of Lean-Verified Mathematicspalomar-registry.org1 point·marvinborner··0 commentsOpen articleSaveView on HN