Edmund Clarke

System Description: Analytica 2

2018 · KiltHub Repository

The Analytica system is a theorem proving system for 19th century mathematics written on top of the Mathematica computer algebra system. It was developed in the early 1990's by X. Zhao and E. Clarke and …