Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: refutation-tree

moratori/clover

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

Language: Common Lisp - Size: 443 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

Related Keywords
common-lisp 1 knuth-algorithm 1 lisp 1 logic 1 logic-programming 1 mathematical-logic 1 proof-assistant 1 prover 1 refutation-tree 1 symbolic-computation 1 term-rewriting 1 theorem-prover 1 theorem-proving 1