GitHub repository: DmxLarchey/Kruskal-Finite
Primary language: Coq
Created: 2024-01-19T11:14:54Z
Description: Tools for dealing with finiteness and choice