/miniprl

A small implementation of a proof refinement logic.

Primary LanguageStandard MLMIT LicenseMIT

Watchers