Giters

smarter / minidot

Personal fork with extra rules added to the oopsla16 DOT as part of my thesis.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

A good proof is one that makes us wiser. -- Yuri Manin

The DOT Calculus and its Variations

Formalizations of the Dependent Object Types (DOT) calculus, from the bottom up, with soundness proofs at each step.

About

Personal fork with extra rules added to the oopsla16 DOT as part of my thesis.

Languages

Language:Coq 98.1%Language:TeX 1.2%Language:Scala 0.4%Language:HTML 0.2%Language:Makefile 0.1%Language:Python 0.0%Language:Shell 0.0%Language:Awk 0.0%Language:Emacs Lisp 0.0%