·
AI & ML interests
Machina vincit omnia
Organizations
phanerozoic/Lean4-Changelog-QA
Viewer
•
Updated
•
2k
•
36
•
1
phanerozoic/Lean4-Changelog
Viewer
•
Updated
•
2k
•
133
phanerozoic/Coq-Changelog-QA
Viewer
•
Updated
•
822
•
31
phanerozoic/Coq-Changelog
Viewer
•
Updated
•
411
•
52
phanerozoic/Coq-MetaCoq-QA
Viewer
•
Updated
•
10.5k
•
33
Viewer
•
Updated
•
7.85k
•
18
•
2
Viewer
•
Updated
•
10.5k
•
31
Viewer
•
Updated
•
7.83k
•
74
phanerozoic/Coq-UniMath-QA
Viewer
•
Updated
•
38.6k
•
62
•
1
Viewer
•
Updated
•
38.7k
•
27
phanerozoic/PumpkinVision
Viewer
•
Updated
•
1.91k
•
966
phanerozoic/OldPirateLoraFinalV
Viewer
•
Updated
•
2.22k
•
33
