Design and implementation of a proof verifying...
URL: https://theses.hal.science/tel-00672699
Dataset description:
In recent years, the emergence of feature rich and mature interactive proof assistants has enabled large formalization efforts of high-profile conjectures and results previously...
Source: Design and implementation of a proof verifying kernel for the λΠ-calculus modulo
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 27, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | 339b1f87-90ef-4f82-890b-08ccf1cf7794 |
| Package id | oai-hal-tel-00672699v1 |
| Resource type | HTML |
| State | active |