Organize and Share your Electronics the way you want. Sign-Up for a free account now. It takes only 30 seconds!
A semi-automated system for the verification of statements about programs written in a functional programming language. The system is capable of following fully-automated routines for theorem proving and hypotheses formation, as well as operating interactively when these reoutines fail.