idris2-sheaf

by Jack Widman PhD · Sheaf Labs

Sheaf theory and sheaf cohomology in Idris 2

Built withIdris

Comments · 0

No comments yet. Tried it? Tell Jack what worked, what didn't, or what you'd want next.

See what other members are building and what each project is looking for.