Skip to content

Instantly share code, notes, and snippets.

@kencoba
kencoba / prover.clj
Created February 19, 2011 04:49 — forked from anonymous/prover.clj
View prover.clj
(ns
^{:doc
"Simple Theorem Prover 'Programming Language Theory and its Implementation' Michael J.C. Gordon"
:author "Kenichi Kobayashi"}
prover
(:use [clojure.test])
(:require [clojure.walk :as cw]))
(def constant #{'+ '- '< '<= '> '>= '* '= 'T 'F 'DIV 'not 'and 'or 'implies})