Spaces:

DineshAI
/

nPC7M7XLEv

Running

App Files Files Community

nPC7M7XLEv / current /code

145 kB

Ctrl+K

Ctrl+K

1 contributor

History: 3 commits

DineshAI's picture

Add Lean kernel verification for Claims 1 2 and 6

819b602 verified 2 days ago

__init__.py

69 Bytes
Add current claim verification evidence (part 1) 3 days ago
claim1.py

10.8 kB
Add current claim verification evidence (part 1) 3 days ago
claim1_checker.py

2.54 kB
Add current claim verification evidence (part 1) 3 days ago
claim2.py

8.14 kB
Add current claim verification evidence (part 1) 3 days ago
claim2_checker.py

2.94 kB
Add current claim verification evidence (part 1) 3 days ago
claim3.py

24.4 kB
Add current claim verification evidence (part 1) 3 days ago
claim3_checker.py

3.65 kB
Add current claim verification evidence (part 1) 3 days ago
claim4.py

31.9 kB
Publish cumulative six-claim reproduction evidence 2 days ago
claim4_checker.py

6.4 kB
Publish cumulative six-claim reproduction evidence 2 days ago
claim5.py

23.7 kB
Add current claim verification evidence (part 1) 3 days ago
claim5_checker.py

4.23 kB
Add current claim verification evidence (part 1) 3 days ago
claim6.py

8.24 kB
Add current claim verification evidence (part 1) 3 days ago
claim6_checker.py

4.1 kB
Add current claim verification evidence (part 1) 3 days ago
formal_checker.py

8.74 kB
Add Lean kernel verification for Claims 1 2 and 6 2 days ago
run.py

5.26 kB
Add current claim verification evidence (part 1) 3 days ago