lolo download | SourceForge.net

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

BSD License

User Reviews

Be the first to post a review of lolo!

Information Technology, Science/Research, Developers

2008-02-19

Similar Business Software

Vivantio

Vivantio is a leading provider of service management software for both internal- and external-facing teams. Centralize your service operations across B2B Customer Support, IT, HR, Facilities, Finance, and Legal. By combining enterprise-level functionality with the flexibility of a modern...

See Software
Play.ht

AI Powered Text to Voice Generation. Play.ht offers uncanny, high-fidelity AI Voices for any project where you need human-sounding voice overs and performances. Hollywood studios, auto manufacturers, and other large enterprises use Play.ht to create realistic and engaging voiceovers...

See Software
Speechmatics

Speechmatics is the most accurate and inclusive speech-to-text API ever released. Speechmatics is the world’s leading expert in Speech Intelligence, combining the latest breakthroughs in AI and ML to unlock the business value in human speech. Businesses use Speechmatics worldwide to...

See Software