A collection of (public) specifications in different formalisms.
Primary LanguageProlog
This repository is not active