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
7mo ago

Recent commits

Latest commits.

  • chore: update stage0
    5bf6229Lean stage0 autoupdater7mo ago
  • feat: implement grind_annotated command (#11332)
    2afca2dKim Morrison7mo ago
  • feat: parallelism utilities for `MetaM`/`TacticM` (#11333)
    ae7c6b5Kim Morrison7mo ago
  • feat: add `getElem_swapIfInBounds*` lemmas and deprecate `getElem_swap'` (#8406)
    c574a85Wrenna Robson7mo ago
  • fix: compilation of projections on non trivial structures (#11340)
    57afb23Henrik Böving7mo ago
refactor: rename `String.bytes` to `String.toByteArray` (#11343)
151c034Markus Himmel7mo ago
  • chore: update stage0
    2308e3aLean stage0 autoupdater7mo ago
  • feat: document that `backward` options may disappear (#11304)
    096d3ceJoachim Breitner7mo ago

    • Top contributors

    Builders behind this project.

    leodemoura
    23.4K commits
    Kha
    4.8K commits
    kim-em
    1.3K commits
    tydeu
    1K commits
    gebner
    1K commits
    soonhokong
    826 commits
    nomeata
    529 commits
    digama0
    439 commits