Organize and Share your Electronics the way you want. Sign-Up for a free account now. It takes only 30 seconds!
Automated Reasoning Project
Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant logic LR).