Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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
- Host: GitHub
- URL: https://github.com/zimmi48/ttt2017
- Owner: Zimmi48
- Created: 2017-01-15T11:02:36.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2017-01-15T15:48:56.000Z (almost 8 years ago)
- Last Synced: 2024-11-06T07:03:32.467Z (2 months ago)
- Topics: coq-tactic, research-paper, slides
- Language: TeX
- Size: 226 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
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).
This work is licensed under a Creative Commons Attribution 4.0 International License.