ell-lang README

The ell-lang extension provides support for the Equational Logic Language, ELL. ELL provides a linear notation for equational logic proofs used in formal methods and other areas of computer science theory.

Features

Coming soon.

Known Issues

The extension is in active development and is currently missing several key symbols, theorems, and axioms.

Release Notes

1.0.6

Rules update of ell-lang.

Added support for

• All Gries and Schneider theorems thru chapter 14.
• Theory of integer operators and functions