math-comp/finmap

Finite sets, finite maps, multisets and generic sets

Language: Coq - Size: 643 KB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 48 - Forks: 29

arthuraa/extructures

Finite sets and maps for Coq with extensional equality

Language: Coq - Size: 489 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 30 - Forks: 6

nand0san/Topology

This Python library provides a collection of tools to define and manipulate different types of topologies on finite sets.

Language: Jupyter Notebook - Size: 4.51 MB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

homalg-project/FinSetsForCAP

The elementary topos of (skeletal) finite sets

Language: GAP - Size: 1.56 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 4 - Forks: 7

dfirsov/agda-programming-with-finite-sets

Dependently Typed Programming with Finite Sets

Language: Agda - Size: 35.2 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

dfirsov/agda-noetherianness

Variations on Noetherianness

Language: Agda - Size: 15.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

ak7n14/The-bark-of-the-hound-language

Language: OCaml - Size: 191 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0