Reaching for the Star: Tale of a Monad in Coq
From MaRDI portal
Publication:6099625
DOI10.4230/lipics.itp.2021.29MaRDI QIDQ6099625
Pierre-Évariste Dagand, Unnamed Author
Publication date: 20 June 2023
Full work available at URL: https://hal.sorbonne-universite.fr/hal-03266768
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)