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
AI-generated apps that pass security review
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of lolo!
