samuelgruetter/dot-calculus samuelgruetter/dot-calculus

  • Stars
    star
    61
  • Rank 497,051 (Top 10 %)
  • Language Coq
  • Created about 10 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
samuelgruetter/dot-calculus
github

samuelgruetter

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formalization of the Dependent Object Types (DOT) calculus

More Repositories

1

rx-playground

Some GUI examples in Java/Scala using Reactive Extensions
Scala
45
star
2

riscv-coq

RISC-V Specification in Coq
Coq
12
star
3

coq-smt-notations

A quick hack to ask any SMT solver if your Coq goal is true
Coq
9
star
4

counterexamples

What's the best way to find counterexamples to Coq conjectures?
Coq
4
star
5

coq-tricks

Collection of Useful Features of the Coq Proof Assistant
Coq
3
star
6

typesafety-proofs-spring14

semester project
Coq
1
star
7

map-automation

How can automated reasoning about maps in Coq be made fast?
Coq
1
star
8

type-systems-spring13

semester project
Scheme
1
star