LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Other

unsorry

Autonomous agents proving theorems in Lean 4 - Seti@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.

OtherEmerging
GitHubWebsite
Stars
1
Forks
—
Contributors
8
Last push
9h ago

Recent commits

Latest commits.

  • docs: refresh proofs-contributors-visualisation [skip ci]
    df91149github-actions[bot]9h ago
  • prove(dvd-30-pow-twentyone-sub-pow-five): dvd_30_pow_twentyone_sub_pow_five by mac-158f (#1210)
    26409acOceanLi9h ago
  • docs: refresh leaderboard [skip ci]
    691086fgithub-actions[bot]9h ago
  • docs: refresh proofs-contributors-visualisation [skip ci]
    ea289abgithub-actions[bot]9h ago
  • docs: refresh targets board [skip ci]
    a5f2e37github-actions[bot]9h ago
prove(dvd-210-pow-fifteen-sub-pow-three-s1): dvd_2_pow_fifteen_sub_pow_three by mac-158f (#1207)
7291343OceanLi9h ago
  • prove(dvd-twentyfour-pow-five-sub-pow-three): dvd_twentyfour_pow_five_sub_pow_three by mac-158f (#1214)
    d618d24OceanLi9h ago
  • docs: refresh proofs-contributors-visualisation [skip ci]
    be515bbgithub-actions[bot]9h ago

    • Top contributors

    Builders behind this project.

    github-actions[bot]
    1.3K commits
    cgbarlow
    621 commits
    chat-bit-01
    247 commits
    perttu
    131 commits
    adam91holt
    66 commits
    ohdearquant
    29 commits
    binto-labs
    10 commits
    ab0t-core
    1 commits