semiring-simple 1.0.0.1

3 Reverse deps Accepted versions
heyting-algebras >=1.0 && <1.2
tropical >=0.2
tropical-geometry >=1.0.0.1 && <1.1