lolo download | SourceForge.net

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

BSD License

Other Useful Business Software

Test your software product anywhere in the world

Get feedback from real people across 190+ countries with the devices, environments, and payment instruments you need for your perfect test.

Global App Testing is a managed pool of freelancers used by Google, Meta, Microsoft, and other world-beating software companies.

Try us today.

Rate This Project

User Reviews

Be the first to post a review of lolo!

Developers, Information Technology, Science/Research

Haskell Artificial Intelligence Software

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