Certlin¶

To install this SageMath package, visit the repository on GitHub.

Certifying linear inequality systems

`certlin.linear_inequality_systems`	Linear inequality systems
`certlin.intervals`	Intervals
`certlin.utility`	Utility functions