/rapanui

An interactive proof assistant for relational algebra

Primary LanguageJavaMIT LicenseMIT

Watchers