phanerozoic
·
AI & ML interests
Machina vincit omnia
Organizations
phanerozoic/Lean4-Changelog-QA
Viewer
•
Updated
•
2k
•
19
•
1
phanerozoic/Lean4-Changelog
Viewer
•
Updated
•
2k
•
32
phanerozoic/Coq-Changelog-QA
Viewer
•
Updated
•
822
•
42
phanerozoic/Coq-Changelog
Viewer
•
Updated
•
411
•
43
phanerozoic/Coq-MetaCoq-QA
Viewer
•
Updated
•
10.5k
•
41
Viewer
•
Updated
•
7.85k
•
39
•
2
Viewer
•
Updated
•
10.5k
•
19
Viewer
•
Updated
•
7.83k
•
45
phanerozoic/Coq-UniMath-QA
Viewer
•
Updated
•
38.6k
•
34
•
1
Viewer
•
Updated
•
38.7k
•
37
phanerozoic/PumpkinVision
Viewer
•
Updated
•
1.91k
•
58
phanerozoic/OldPirateLoraFinalV
Viewer
•
Updated
•
2.22k
•
61
