GitHub repository: jsiek/deduce
Primary language: Python
Created: 2024-02-09T21:37:27Z
Description: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.