yavuzkoroglu/NatDED yavuzkoroglu/NatDED

  • Stars
    star
    1
  • Language
    C
  • License
    GNU General Publi...
  • Created almost 11 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yavuzkoroglu/NatDED
github

yavuzkoroglu

Reviews

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

Repository Details

An Automated Natural Deduction Engine Producing Intuitive Proofs

More Repositories

1

gfuzzer-release

Grammar Fuzzer (gfuzzer): Fully Automated Test Generation, Execution, and Evaluation Tool
Perl
5
star
2

tucan

A Solution to the The Tucan Tournament Problem
C
1
star
3

turkishy

A Turkish Q keyboard layout clone for all MacBooks with few tweaks
1
star