The LEGO Proof Assistant
dcs.ed.ac.ukA powerful tool for interactive proof development in the natural deduction style. It supports refinement proof as a basic operation. The system design emphasizes removing the more tedious aspects of interactive proofs.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.