jsiek / deduceLinks

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
113Updated 2 weeks ago

Alternatives and similar repositories for deduce

Users that are interested in deduce are comparing it to the libraries listed below

Sorting: