GitHub repository: styzystyzy/Axiom_of_Choice
Primary language: Coq
Description: Formalization of the Axiom of Choice and its Equivalent Theorems in Coq