LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

openprover

Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.

PythonEmerging

Stars

—

Forks

—

Contributors

1

Last push

3mo ago

Recent commits

Latest commits.

Bump version to 1.0.1
fc63695Matěj Kripner3mo ago
Add anti-retry principle and [[slug]] example to planner prompt
0940d14Matěj Kripner3mo ago
Add 30s streaming read timeout and strengthen planner guidance
62457f7Matěj Kripner3mo ago
Filter lean_search to Mathlib-importable packages only
7c7f406Matěj Kripner3mo ago
Strip markdown fences and HTML code tags from lean tool arguments
29dae57Matěj Kripner3mo ago

Simplify and unify worker/planner prompts

f1d98d2Matěj Kripner3mo ago

Tune planner and worker prompts to reduce wasted effort

ed4a49fMatěj Kripner3mo ago

Emphasize that lean_store must not contain sorry keywords

674baa0Matěj Kripner3mo ago

Top contributors

Builders behind this project.