Old experiment of creating a language for calculating proofs of theorems, based on logic, S-expression interpretation, proof rules, and binding compound expressions to values. Inspired by Eric Hehner's book A Practical Theory of Programming.
The test program that exercises it can be run like:
cd ..
scheme-script logji/tests/calc.sps