A new online registry called Palomar has been launched to help verify mathematical proofs written in the Lean formal proof language, according to a recent announcement.
register or log in to get more services such as weather report, extended news articles and web search