gshen42/cut gshen42/cut

  • Stars
    star
    2
  • Language Agda
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gshen42/cut
github

gshen42

Reviews

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

Repository Details

Cut elimination for intuitionistic propositional logic and its applications.

More Repositories

1

HasChor

Functional choreographic programming in Haskell
Haskell
80
star
2

ml-type-inference

ML-style type inference in Prolog
Prolog
4
star
3

chor-alg.paper

TeX
2
star
4

agda-playground

Agda
1
star
5

CodeVault

Assorted random code
Haskell
1
star