Skip to content
forked from TiarkRompf/minidot

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

Notifications You must be signed in to change notification settings

smarter/minidot

 
 

Repository files navigation

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.

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Coq 98.1%
  • TeX 1.2%
  • Scala 0.4%
  • HTML 0.2%
  • Makefile 0.1%
  • Python 0.0%