Spaces:

SZLHOLDINGS
/

lean-kernel

Running

App Files Files Community

lean-kernel / data

3.13 kB

Ctrl+K

Ctrl+K

2 contributors

History: 1 commit

betterwithage's picture

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

5520f8e verified 2 days ago

reference-vectors.json

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