phanerozoic/Coq-HoTT
Viewer • Updated • 12.7k • 37 • 3
Edit Datasets filters
Active filters: formal-methods
phanerozoic/Coq-HoTT-QA
Viewer • Updated • 7.83k • 50
phanerozoic/Coq-UniMath
Viewer • Updated • 51.2k • 45
phanerozoic/Coq-UniMath-QA
Viewer • Updated • 38.6k • 37 • 1
phanerozoic/Coq-MetaCoq
Viewer • Updated • 16.6k • 66 • 1
phanerozoic/Coq-MetaCoq-QA
Viewer • Updated • 10.5k • 32
phanerozoic/Coq-Changelog-QA
Viewer • Updated • 822 • 40
phanerozoic/Lean4-Changelog-QA
Viewer • Updated • 2k • 68 • 1
Goedel-LM/MathOlympiadBench
Viewer • Updated • 360 • 441 • 17
dassarthak18/spore-protocols
Viewer • Updated • 92 • 32
dassarthak18/FStarDataset-V2-Conversation
Viewer • Updated • 54.4k • 45
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 229 • 3
phanerozoic/Coq-Stdlib
Viewer • Updated • 18.4k • 40
phanerozoic/Lean4-Stdlib
Viewer • Updated • 53k • 94
phanerozoic/Agda-Stdlib
Viewer • Updated • 10.8k • 37
phanerozoic/Isabelle-AFP
Viewer • Updated • 352k • 39
phanerozoic/Lean4-Batteries
Viewer • Updated • 3.06k • 102
phanerozoic/Coq-Iris
Viewer • Updated • 9.83k • 32
phanerozoic/Coq-MathComp
Viewer • Updated • 23.8k • 31
phanerozoic/Coq-Stdpp
Viewer • Updated • 5.65k • 31
phanerozoic/Coq-CompCert
Viewer • Updated • 11k • 30
phanerozoic/Coq-Equations
Viewer • Updated • 3.04k • 41
phanerozoic/Coq-Flocq
Viewer • Updated • 3.26k • 14
phanerozoic/Coq-VST
Viewer • Updated • 43.7k • 13
phanerozoic/Coq-Bedrock
Viewer • Updated • 5.65k • 46
phanerozoic/Coq-Coquelicot
Viewer • Updated • 2.42k • 13
phanerozoic/Coq-Corn
Viewer • Updated • 11.3k • 9
phanerozoic/Coq-CoLoR
Viewer • Updated • 10k • 14
phanerozoic/Coq-Verdi
Viewer • Updated • 1.04k • 22
phanerozoic/Coq-Certicoq
Viewer • Updated • 7.15k • 14