Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/zimmi48/ttt2017

Abstract and slides for talk at TTT2017
https://github.com/zimmi48/ttt2017

coq-tactic research-paper slides

Last synced: 17 days ago
JSON representation

Abstract and slides for talk at TTT2017

Awesome Lists containing this project

README

        

Coq's Prolog and applications to defining semi-automatic tactics
================================================================

Théo Zimmermann and Hugo Herbelin

TTT 2017 (workshop colocated with POPL)

Read the [two-page abstract](http://www.theozimmermann.net/TTT2017/abstract/coq-prolog.pdf) and the [slides for the presentation](http://www.theozimmermann.net/TTT2017/slides).

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.