GitHub repository: DmxLarchey/Constructive-Konig
Primary language: Coq
Created: 2024-11-28T13:41:12Z
Description: Coq artifact for "Constructive substitutes for König's lemma"