No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Code
Exercises
Readings
Slides
.DS_Store
.dropbox
Icon
README.md

README.md

CoqNL

This is the git containing material for the three day tutorial "Coq for natural language semantics" at the Centre of Advanced Study in Oslo, November 22-24, 2017.