p
mathlib
package mathlib
Package Members
- package demos
- package graph
- package probability
- package set
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]]._
- package utilities