Stars
1
star
written in Standard ML
Clear filter
A small implementation of a proof refinement logic.
A small implementation of a proof refinement logic.