Sun

fitz92

AI & ML interests

None yet

Organizations

None yet

fitz92 's datasets 5

fitz92/doc

Updated Mar 16 • 1

fitz92/lean4-docker-offline-image

Updated Jan 14 • 26

fitz92/test23

Updated Dec 12, 2025 • 1

fitz92/test

Updated Dec 5, 2025 • 2

fitz92/lean3-offline-docker-image

Updated Sep 22, 2025 • 12