Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with finite-sets
A curated list of projects in awesome lists tagged with finite-sets .
https://github.com/math-comp/finmap
Finite sets, finite maps, multisets and generic sets
coq finite-sets mathcomp ssreflect
Last synced: 12 Nov 2024
https://github.com/homalg-project/finsetsforcap
The elementary topos of (skeletal) finite sets
Last synced: 17 Nov 2024
https://github.com/nand0san/topology
This Python library provides a collection of tools to define and manipulate different types of topologies on finite sets.
finite-sets mathematics topology
Last synced: 06 Nov 2024
