1. Home
  2. Science
  3. Mathematics
  4. The LEGO Proof Assistant

Science · Mathematics

The LEGO Proof Assistant

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About The LEGO Proof Assistant

The LEGO Proof Assistant- A 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.

Tags

Books and Worksheets

Where it sits

Science Mathematics

More in Mathematics

See all →