lolo download | SourceForge.net

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

Crowdtesting That Delivers | Testeum

Unfixed bugs delaying your launch? Test with real users globally – check it out for free, results in days.

Testeum connects your software, app, or website to a worldwide network of testers, delivering detailed feedback in under 48 hours. Ensure functionality and refine UX on real devices, all at a fraction of traditional costs. Trusted by startups and enterprises alike, our platform streamlines quality assurance with actionable insights. Click to perfect your product now.

Click to perfect your product now.

Rate This Project

User Reviews

Be the first to post a review of lolo!

Additional Project Details

Operating Systems

FreeBSD, Linux, Mac, Solaris, Windows

Intended Audience

Developers, Information Technology, Science/Research

Programming Language

Haskell

Related Categories

Haskell Artificial Intelligence Software

Registered

2008-02-19

Similar Business Software

ONLYOFFICE Docs

ONLYOFFICE is an open-source project that offers cloud-based and self-hosted solutions for business of all sizes. The key product is ONLYOFFICE Docs, a secure office suite that seamlessly integrates into the most popular platforms, e.g. Odoo, Alfresco, Confluence, Pipedrive, Redmine, SuiteCRM...

See Software
LM-Kit.NET

LM-Kit.NET is a cutting-edge, high-level inference SDK designed specifically to bring the advanced capabilities of Large Language Models (LLM) into the C# ecosystem. Tailored for developers working within .NET, LM-Kit.NET provides a comprehensive suite of powerful Generative AI tools, making...

See Software
Hostinger Horizons

Hostinger Horizons is the perfect vibe coding tool, letting you build websites and apps based on an idea or a feeling. Simply describe what you want, and our AI acts as your personal designer and developer, creating a complete, mobile friendly project instantly. Horizons is built to create...

See Software