Zimmi48 / TTT2017 Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Abstract and slides for talk at TTT2017

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
docs		docs
src		src
.gitignore		.gitignore
README.md		README.md

Repository files navigation

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 and the slides for the presentation.

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

About

Abstract and slides for talk at TTT2017

slides research-paper coq-tactic

Report repository

Releases

No releases published

Packages

No packages published

Languages