GitHub repository: DmxLarchey/Kruskal-Fan
Primary language: Coq
Created: 2024-05-21T09:45:49Z
Description: The Fan theorem for inductive bars and a constructive variant of König's lemma