·
AI & ML interests
Machina vincit omnia
Organizations
phanerozoic/Lean4-Changelog-QA
Viewer
•
Updated
•
2k
•
32
•
1
phanerozoic/Lean4-Changelog
Viewer
•
Updated
•
2k
•
108
phanerozoic/Coq-Changelog-QA
Viewer
•
Updated
•
822
•
46
phanerozoic/Coq-Changelog
Viewer
•
Updated
•
411
•
71
phanerozoic/Coq-MetaCoq-QA
Viewer
•
Updated
•
10.5k
•
32
Viewer
•
Updated
•
7.85k
•
33
•
2
Viewer
•
Updated
•
10.5k
•
33
Viewer
•
Updated
•
7.83k
•
77
phanerozoic/Coq-UniMath-QA
Viewer
•
Updated
•
38.6k
•
58
•
1
Viewer
•
Updated
•
38.7k
•
46
phanerozoic/PumpkinVision
Viewer
•
Updated
•
1.91k
•
988
phanerozoic/OldPirateLoraFinalV
Viewer
•
Updated
•
2.22k
•
47
