Logiciel Année : 2024

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.

198 Consultations
0 Téléchargements

Partager

  • More