Finite sets, finite maps, multisets and generic sets
-
Updated
May 29, 2024 - Coq
Finite sets, finite maps, multisets and generic sets
Finite sets and maps for Coq with extensional equality
The elementary topos of (skeletal) finite sets
Dependently Typed Programming with Finite Sets
A Students Enrollment system using a Finite Set data structure represented as a Hash Table.
Variations on Noetherianness
A Students Enrollment system using a Finite Set data structure represented as an Array.
A Students Enrollment system using a Finite Set data structure represented as Database Tables.
Add a description, image, and links to the finite-sets topic page so that developers can more easily learn about it.
To associate your repository with the finite-sets topic, visit your repo's landing page and select "manage topics."