The Banach lattice Lean library
AI use, as the source states it
“Writing the library at scale was made possible by the use of LLMs with careful human supervision and planning.”
Named here, or see a mistake? Write to privacy@papex.org.
“Writing the library at scale was made possible by the use of LLMs with careful human supervision and planning.”
Named here, or see a mistake? Write to privacy@papex.org.