davdar/cut-elimination davdar/cut-elimination

  • Stars
    star
    1
  • Language
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
davdar/cut-elimination
github

davdar

Reviews

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

Repository Details

Proving cut elimination for the sequent calculus in Coq

More Repositories

1

maam

A monadic approach to static analysis following the methodology of AAM
Haskell
19
star
2

parsing-with-derivatives-haskell

The original parsing with derivatives haskell implementation
Haskell
10
star
3

redex-workshop-2015-ott

observational type theory in redex
Racket
3
star
4

dotfiles

my dot files
Emacs Lisp
3
star
5

redex-workshop-2015-notes

notes from the 2015 redex workshop in SLC
HTML
2
star
6

quals

quals
Haskell
1
star
7

darais-unicode-input

HTML
1
star