Spaces:

SZLHOLDINGS
/

lean-kernel

Running

App Files Files Community

lean-kernel / Dockerfile

Commit History

ship: SZLHOLDINGS/lean-kernel — live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status

0540051
verified

betterwithage commited on 3 days ago

ship: SZLHOLDINGS/lean-kernel — live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status

5520f8e
verified

betterwithage commited on 3 days ago