Spaces:

DineshAI
/

kovefbSXbQ

Running

App Files Files Community

kovefbSXbQ / logbook.json

Commit History

Add Lean 4 kernel proofs for all six claims

6bbcc6f
verified

DineshAI commited on about 21 hours ago

Add evaluator-visible proof certificates for six claims

b6cc332
verified

DineshAI commited on 1 day ago

Update logbook: kovefbSXbQ — Behavioral State Abstraction

5a8a626
verified

DineshAI commited on 1 day ago