Sign inSign up

Filter by

(1)

Clear All
Products
Trusted content
Categories
Operating Systems
Architectures
1 - 30 of 16,206 results for lean.
LinuxClear All
image
quantconnect/lean
quantconnect

QuantConnect LEAN Open Source Project Repository

2d

5M+

48

image
leanprovercommunity/lean
leanprovercommunity

The software tools for developing in Lean 4

2y

10K+

image
aescling/lean
aescling

Unofficial image for Lean 4 development, with the elan version manager and lean.

2y

10K+

image
sifrai/lean
sifrai

2m

50K+

image
baredevcontainer/lean
baredevcontainer

Minimal Dev Container image for Lean 4 with elan: Debian, verified upstreams, SLSA provenance

2d

6.9K

image
d3lean/lean
d3lean

Lean client image repository

5y

1.2K

image
unsat/lean
unsat

5y

3.7K

image
jmerle/lean
jmerle

5y

3.7K

image
kpavel/lean
kpavel

8y

1.6K

image
0327/lean
0327

9y

1.0K

image
edayers/lean
edayers

Ubuntu with elan and update-mathlib installed.

6y

1.1K

image
xplex/lean
xplex

8y

908

image
neosun/lean
neosun

10m

381