Spaces:

DineshAI
/

dfqmQ9WhCP

Running

314 kB

Ctrl+K

1 contributor

Reproduce Lean formalization: lake build succeeds (8703 jobs) against mathlib v4.32.0, all 7 headline theorems depend only on [propext,Classical.choice,Quot.sound] with NO sorryAx

77a0301 verified 11 days ago

pages
Reproduce Lean formalization: lake build succeeds (8703 jobs) against mathlib v4.32.0, all 7 headline theorems depend only on [propext,Classical.choice,Quot.sound] with NO sorryAx 11 days ago
repro
Reproduce Lean formalization: lake build succeeds (8703 jobs) against mathlib v4.32.0, all 7 headline theorems depend only on [propext,Classical.choice,Quot.sound] with NO sorryAx 11 days ago
.gitattributes

1.52 kB
initial commit 12 days ago
README.md

368 Bytes
Update logbook: Repro - AI4SLT: Empirical Processes in Lean 4 12 days ago
bucket-icon.svg

413 Bytes
Update logbook: Repro - AI4SLT: Empirical Processes in Lean 4 12 days ago
index.html

1.83 kB
Update logbook: Repro - AI4SLT: Empirical Processes in Lean 4 12 days ago
logbook.css

29.6 kB
Update logbook: Repro - AI4SLT: Empirical Processes in Lean 4 12 days ago
logbook.js

77.3 kB
Update logbook: Repro - AI4SLT: Empirical Processes in Lean 4 12 days ago
logbook.json

1.89 kB
Reproduce Lean formalization: lake build succeeds (8703 jobs) against mathlib v4.32.0, all 7 headline theorems depend only on [propext,Classical.choice,Quot.sound] with NO sorryAx 11 days ago
style.css

388 Bytes
initial commit 12 days ago
trackio-logo-light.png

30 kB
Update logbook: Repro - AI4SLT: Empirical Processes in Lean 4 12 days ago
trackio-logo.png

55.6 kB
Update logbook: Repro - AI4SLT: Empirical Processes in Lean 4 12 days ago
trackio-wordmark-dark.png

89.8 kB
Update logbook: Repro - AI4SLT: Empirical Processes in Lean 4 12 days ago