A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.

Project Activity

See All Activity >

License

BSD License

Follow lolo

lolo Web Site

Other Useful Business Software
Life Science Quality Management Software Icon
Life Science Quality Management Software

Specifically designed for the Life Science industry.

Comply with ISO, FDA, and GxP regulations and be audit-ready with our cloud-based quality management system.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of lolo!

Additional Project Details

Operating Systems

Solaris, Linux, FreeBSD, Mac, Windows

Intended Audience

Information Technology, Science/Research, Developers

Programming Language

Haskell

Related Categories

Haskell Artificial Intelligence Software

Registered

2008-02-19