giovanniberti/logicamente giovanniberti/logicamente

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Python
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
giovanniberti/logicamente
github

giovanniberti

Reviews

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

Repository Details

A first-order logic theorem prover with SLD resolution.

More Repositories

1

robusta

Easy interop between Rust and Java
Rust
308
star
2

moderncv.typst

A typst template inspired by LaTeX moderncv
Typst
42
star
3

phone_finder

A simple program to look through Android phones' specs and generate an HTML report
JavaScript
6
star
4

sndcld

A C soundcloud music downloader
C
3
star
5

rps

Simple Rock-Paper-Scissors server implemented in Django
Python
1
star
6

dbench

dbench is a simple database query benchmarker
Rust
1
star
7

radish

Java
1
star
8

kropki_gen_fe

TypeScript
1
star