GitHub repository: sterraf/ChainBounding
Primary language: Lean
Created: 2024-04-11T11:46:56Z
Description: Formalization of a simpler proof of Zorn's Lemma