ground_zero icon indicating copy to clipboard operation
ground_zero copied to clipboard

Published 20 hours ago • verified publisher icon forked-from-1kasper
→

Metadata

Ground Zero: Lean 4 HoTT Library

Results 0 ground_zero issues
Sort by recently updated
recently updated
newest added

← Metadata

44
Stars
1
Forks
Watchers

Owner

verified publisher icon forked-from-1kasper

Metadata

Ground Zero: Lean 4 HoTT Library

Back