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.
log in to read full article
the world wide web for retro machines
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.
log in to read full article