Simple simpl
URL: https://hal.science/hal-00816918
Dataset description:
We report on a new implementation of a reduction strategy in Coq to simplify terms during interactive proofs. By "simplify", we mean to reduce terms as much as possible while...
Source: Simple simpl
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 11, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 6 months ago |
| Id | b2bac15c-8e7f-4982-a74a-f546fff7aace |
| Package id | oai-hal-hal-00816918v1 |
| Resource type | HTML |
| State | active |