Hugging Face's logo

Spaces:
SZLHOLDINGS
/
lean-kernel
Running

App Files Community
lean-kernel

Commit History

sweep3: add discoverability tags for Series-A investor search
e291b7d
Running
verified

betterwithage Perplexity Computer Agent commited on

fix: README.md doctrine v10/v11 -> v11 LOCKED
a4808f5
verified

betterwithage Perplexity Computer Agent commited on

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

betterwithage commited on

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

betterwithage commited on

initial commit
129288c
verified

betterwithage commited on