GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → rodrigogribeiro → unification

rodrigogribeiro / unification

Licence: other
Formalisation of a type unification algorithm in Coq proof assistant.

Programming Languages

Coq
218 projects
TeX
3793 projects
haskell
3896 projects
Makefile
30231 projects

A Texbook Proof of a Type Unification in Coq

A formalization of a type unification algorithm in Coq.

Structure

  • Folder paper/SBMF2015: Source code for SBMF paper.
  • Folder paper/SCP: Draft for extended version.
  • Folder code/SBMF2015: Coq source code for the formalization of SBMF paper.
  • Folder code/SCP: Code for extended version.

Both directories have makefile to build them.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].