/geb-formal-system-solver

sovler for formal systems, inspired by GEB

Primary LanguageGo

Watchers