search

jsiek / deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
59 stars 3 forks source link

Remove Marks Fix #37

Closed HalflingHelper closed 18 hours ago

HalflingHelper commented 19 hours ago

Removing marks from instantiation from have. Added a test have_remove_marks