proving

Let's write an automated theorem prover! A series of increasingly sophisticated automated theorem provers realized as Prolog-like language implementations using Warren's Abstract Machine.

Ruby とオブジェクト指向による四色定理

Thousands of Problems for Theorem Provers Library

A function to sum your sets of integers in a flash !

Automatic Proving System using Predicate Logic

四色定理を F# に移植したよ

四色定理を Haskell に移植したよ（復活）