/qrhl-tool

Proof assistant for qRHL

Primary LanguageScalaMIT LicenseMIT

Watchers