https://github.com/namin/dot
formalization of the Dependent Object Types (DOT) calculus
https://github.com/namin/dot
coq dafny meta-theory oop plt-redex twelf
Last synced: 4 months ago
JSON representation
formalization of the Dependent Object Types (DOT) calculus
- Host: GitHub
- URL: https://github.com/namin/dot
- Owner: namin
- Created: 2012-01-25T00:37:26.000Z (over 13 years ago)
- Default Branch: master
- Last Pushed: 2016-09-08T13:37:52.000Z (almost 9 years ago)
- Last Synced: 2025-02-09T01:44:24.464Z (4 months ago)
- Topics: coq, dafny, meta-theory, oop, plt-redex, twelf
- Homepage: http://lamp.epfl.ch/~amin/dot/
- Size: 4.57 MB
- Stars: 156
- Watchers: 17
- Forks: 12
- Open Issues: 0