package demos
Ordering
- Alphabetic
Visibility
- Public
- Protected
Value Members
- object Coherence
- object GraphsDemo
- object SubsetChoice
- object VertexCover
Provides a library for set theoretic programming, closely resembling mathematical expressions.
Provides a library for set theoretic programming, closely resembling mathematical expressions.
To get started import the library as follows:
import [[mathlib.set.SetTheory]]._