Constructive substitutes for König's lemma (artifact)
Résumé
This project is composed of the Coq artifact for the TYPES 2024 post-proceedings paper "Constructive substitutes for König's lemma" by Dominique Larchey-Wendling, to be published circa mid july 2025 as LIPIcs volume 336.