moratori/clover moratori/clover

  • Stars
    star
    2
  • Language
    Common Lisp
  • Created about 6 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
moratori/clover
github

moratori

Reviews

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

Repository Details

A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.

More Repositories

1

dnsprobe

Domain Name System monitoring tool
Python
3
star
2

cttool

A command line tool for Certificate Transparency
Python
2
star
3

flexpr

simple logic programming environment
Common Lisp
1
star
4

id3

generate decision tree in ID3 algorithm
Common Lisp
1
star
5

indoor-positioning-clone

Common Lisp
1
star