Spaces:

DineshAI
/

nPC7M7XLEv

Running

App Files Files Community

nPC7M7XLEv / pages /claim-2-lean-kernel

5.1 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

DineshAI's picture

Add Lean kernel verification for Claims 1 2 and 6

819b602 verified 2 days ago

page.md

5.1 kB
Add Lean kernel verification for Claims 1 2 and 6 2 days ago