Axiom Lean Engine Reviews

Lean evaluation and metaprogramming utilities for provers

This is an exact mirror of the Axiom Lean Engine project, hosted at https://github.com/AxiomMath/axiom-lean-engine. SourceForge is not affiliated with Axiom Lean Engine.

Add a Review

Downloads: 1 This Week

Last Update: 4 days ago

Download

Add to Preferred Sources

Windows Mac Linux BSD ChromeOS

User Ratings

Rate This Project

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Start Free