Loading...
Hammer for Coq: Automation for Dependent Type Theory
Hammers provide most powerful general purpose automation for proof assistants based on HOL and set theory today. Despite the gaining popularity of the more advanced versions of type theory, such as those based on the Calculus of Inductive Constructions, the construction of hammers for such foundatio...
Na minha lista:
| Udgivet i: | J Autom Reason |
|---|---|
| Main Authors: | , |
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
Springer Netherlands
2018
|
| Fag: | |
| Online adgang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6044314/ https://ncbi.nlm.nih.gov/pubmed/30069074 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10817-018-9458-4 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|