nelly-hateva/lcpt nelly-hateva/lcpt

  • Stars
    star
    1
  • Language
    Scheme
  • License
    MIT License
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nelly-hateva/lcpt
github

nelly-hateva

Reviews

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

Repository Details

Lambda Calculus and Proof Theory

More Repositories

1

torchwood

Data Mining and Information Retrieval Project
Python
1
star
2

jedi-script

JavaScript Interpreter
Clojure
1
star
3

fa

Subsequential Transducer
C
1
star