LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

EleanvatorSaga

Elevator Saga, in Lean 4

LeanEmerging

Stars

1

Forks

—

Contributors

2

Last push

1d ago

Recent commits

Latest commits.

Merge pull request #3 from Julian/dependabot/github_actions/actions/checkout-6.0.3
d9ae1edJulian Berman1d ago
Bump actions/checkout from 6.0.2 to 6.0.3
c0d1aa1dependabot[bot]1d ago
Merge pull request #2 from Julian/dependabot/github_actions/zizmorcore/zizmor-action-0.5.6
c280bc9Julian Berman21d ago
Bump zizmorcore/zizmor-action from 0.5.3 to 0.5.6
5e22d40dependabot[bot]22d ago
Merge pull request #1 from Julian/dependabot/github_actions/leanprover/lean-action-1.5.0
fffe585Julian Berman1mo ago

Bump leanprover/lean-action from 1.4.0 to 1.5.0

07e3346dependabot[bot]1mo ago

Fix an unused variable.

a71de0fJulian Berman2mo ago

Add the SVG version.

53eb536Julian Berman2mo ago

Top contributors

Builders behind this project.

dependabot[bot]