TableauxRocq
Overview & Synopsis
TableauxRocq is a Rocq library that provides a deep embedding of free-variable tableaux together with a fully certified fast proof checker, POULET.
Indexed from repository: HAL Open Science
(
hal.science)
Document Information
| Document Title | TableauxRocq |
|---|---|
| Author / Organization | Johann Rosain, Julie Cailler |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2026 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-132216 |
| Original Source Link | Visit Source Page on hal.science » |