Browse Code
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
Categories
Artificial IntelligenceLicense
BSD LicenseFollow lolo
Other Useful Business Software
Cloud SQL manages your databases so you don't have to, so your business can run without disruption. It automates all your backups, replication, patches, encryption, and storage capacity increases to give your applications the reliability, scalability, and security they need.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of lolo!