Found 3 Documents (Results 1–3)
Proof mining with dependent types. (English) Zbl 1367.68251
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 303-318 (2017).
MSC:
68T15
68T05
Recycling proof patterns in Coq: case studies. (English) Zbl 1302.68243
MSC:
68T15
68T05
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (1)
Author
- Heras, Jónathan (2)
- Komendantskaya, Ekaterina (2)
- Kim, Minyoung (1)
- Stehr, Mark-Oliver (1)
- Talcott, Carolyn L. (1)
Serial
all
top 3
Software
- PRMLT (3)
- Coq (2)
- Coq/SSReflect (2)
- IsaCoSy (2)
- ML4PG (2)
- WEKA (2)
- ACL2 (1)
- Adam (1)
- Agda (1)
- CoqHammer (1)
- DeepProbLog (1)
- Flyspeck (1)
- GitHub (1)
- Hipster (1)
- Keras (1)
- MNIST (1)
- MaSh (1)
- Matita (1)
- Matlab (1)
- Maude (1)
- Mizar (1)
- ProbLog (1)
- Proof General (1)
- SEPIA (1)
- TensorFlow (1)
- Whelp (1)
- Yices (1)