Larchey-Wendling, D. (2024). Constructive substitutes for König's lemma (artifact) (Version 1.0) [Computer software]. https://github.com/DmxLarchey/Constructive-Konig