Sun

fitz92

AI & ML interests

None yet

Organizations

None yet

models 0

None public yet

datasets 5

fitz92/doc

Updated Mar 16 • 3

fitz92/lean4-docker-offline-image

Updated Jan 14 • 34

fitz92/test23

Updated Dec 12, 2025 • 1

fitz92/test

Updated Dec 5, 2025 • 2

fitz92/lean3-offline-docker-image

Updated Sep 22, 2025 • 17