Giters

andrija-urosevic / theodore

Theodore - Interactive proof assistent for FOL

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

theodore

Theodore - Interactive proof assistent for FOL

About

Theodore - Interactive proof assistent for FOL

License:MIT License

Languages

Language:Haskell 100.0%