beneyal/theorem-prover beneyal/theorem-prover

  • Stars
    star
    1
  • Language
    Ruby
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
beneyal/theorem-prover
github

beneyal

Reviews

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

Repository Details

An interactive first-order-logic theorem proving tool

More Repositories

1

ztm-dsa-scala

Some solutions to the exercises from the "Master the Coding Interview: Data Structures + Algorithms" course from Zero to Mastery.
Scala
8
star
2

data-science-rnn

RNN implementation for Data Science course
Jupyter Notebook
4
star
3

rusty-picard

Rust
1
star
4

aoc-2023

Scala
1
star
5

spider_execution_plans

Python
1
star