deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

113
8
Python

Deduce

Blue Hippo next to the word Deduce.

The web page for Deduce is at the following link:

https://jsiek.github.io/deduce/

The directory structure:

  • /docs Documentation for contributing to Deduce
  • /gh_pages Source code for the Deduce website
  • /lib Deduce library files. This includes Nat, List, etc.
  • /live_code_vercel_api Source code for Deduce live code
  • /logos The Hippopotamus logo and other images.
  • /test Deduce files used for testing Deduce.