·
AI & ML interests
Machina vincit omnia
Organizations
phanerozoic/Lean4-Changelog-QA
Viewer
•
Updated
•
2k
•
37
•
1
phanerozoic/Lean4-Changelog
Viewer
•
Updated
•
2k
•
103
phanerozoic/Coq-Changelog-QA
Viewer
•
Updated
•
822
•
55
phanerozoic/Coq-Changelog
Viewer
•
Updated
•
411
•
78
phanerozoic/Coq-MetaCoq-QA
Viewer
•
Updated
•
10.5k
•
43
Viewer
•
Updated
•
7.85k
•
48
•
2
Viewer
•
Updated
•
10.5k
•
42
Viewer
•
Updated
•
7.83k
•
92
phanerozoic/Coq-UniMath-QA
Viewer
•
Updated
•
38.6k
•
72
•
1
Viewer
•
Updated
•
38.7k
•
52
phanerozoic/PumpkinVision
Viewer
•
Updated
•
1.91k
•
1.01k
phanerozoic/OldPirateLoraFinalV
Viewer
•
Updated
•
2.22k
•
63
