finite. Facts about isomorphisms and finite types in Coq

github.com/bmsherman/finite
by @bmsherman

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.