baberrehman/TAPL baberrehman/TAPL

  • Stars
    star
    2
  • Language Coq
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
baberrehman/TAPL
github

baberrehman

Reviews

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

Repository Details

Locally nameless implementation of the Holy Types and Programming Languages using TLC!

More Repositories

1

coq-duotyping

Coq
2
star
2

rust

The Rust Programming Language
Rust
2
star
3

baberrehman.github.io

SCSS
1
star