koflerdavid/equational-calculator koflerdavid/equational-calculator

  • Stars
    star
    1
  • Language
    Python
  • Created about 12 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
koflerdavid/equational-calculator
github

koflerdavid

Reviews

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

Repository Details

A tool to use the inference rules of equational logic on terms.

More Repositories

1

nfa-equivalence-code

Reimplementations of algorithms for the CL master seminar
Haskell
2
star
2

uni-programming-lab

Programming Lab: Innovative Interaktion, Visualisierung und Analyse
JavaScript
1
star
3

jar-navigator

A simple tool which displays the classes contained in the JAR archives in a directory.
1
star