LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

lean4

Lean 4 programming language and theorem prover

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

6h ago

Recent commits

Latest commits.

chore: remove - from semver prerelease (#2481)
f1f9dc0Scott Morrison34mo ago
chore: update README to reflect beginning stable releases (#2477)
869d64eScott Morrison34mo ago
chore: add introduction to RELEASES.md (#2476)
1fac294Scott Morrison34mo ago
chore: use bash-compatible SemVer regex (#2475)
a5583d7Scott Morrison34mo ago
chore: basic tests exercising rw
4a41e7eScott Morrison35mo ago

chore: update CI to create official releases (#2472)

aba37e3Scott Morrison34mo ago

feat: create release at lean4-pr-releases for each PR (#2448)

6861474Scott Morrison34mo ago

feat: add labels from comments (#2460)

7959091Scott Morrison34mo ago

Top contributors

Builders behind this project.