LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

Other

lean4

Lean 4 programming language and theorem prover

OtherEmerging
GitHubWebsite
Stars
—
Forks
—
Contributors
8
Last push
5d ago

Recent commits

Latest commits.

  • chore: hard-code a specific bit pattern for normalized quiet NaN (#14012)
    c3cacf6Julia Markus Himmel5d ago
  • perf: avoid kernel env blocks in `replayKernel` (#14011)
    d6ecb89Sebastian Ullrich6d ago
  • feat: add `lake lint --record-exceptions` (#13961)
    3228e08Wojciech Różowski6d ago
  • chore: CI: fix potiuk/get-workflow-origin action (#14010)
    d11f9deGarmelon6d ago
  • feat: move trace emoji from storage to rendering (#13072)
    7bb3fe8Kim Morrison6d ago
refactor: tidy Std.Internal.Do EPost, wp and order lemma names (#14008)
2686a6cSebastian Graf6d ago
  • perf: add constant folding for USize and bitwise ops (#13991)
    5ada5e6Henrik Böving6d ago
  • refactor: reorganize the Std.Internal.Do order metatheory and tidy its lemmas (#13999)
    aa2317aSebastian Graf6d ago

    • Top contributors

    Builders behind this project.

    leodemoura
    23.7K commits
    Kha
    5K commits
    kim-em
    1.5K commits
    tydeu
    1.1K commits
    gebner
    1K commits
    soonhokong
    826 commits
    nomeata
    631 commits
    hargoniX
    493 commits