/andromeda

A proof assistant for general type theories

Primary LanguageOCamlOtherNOASSERTION

Stargazers