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

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 Cannot retrieve latest commit at this time.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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%