nLab Oscar E. Lanford

Redirected from "large cardinal axiom".
Selected writings

Selected writings

Collected papers: pdf

On proof assistants for proofs in analysis:

category: people

Created on January 25, 2023 at 09:26:52. See the history of this page for a list of all contributions to it.