Eagle Automated Theorem Prover / News: Recent posts

After an alpha development of the Eagle prover in C. A new version is being written, 0.3.0! The new version will be written in SML and will allow for more flexibility in logic representation and proof techniques.