Proper 0.5.2.0

2 Reverse deps Accepted versions
FirstOrderTheory >=0
Smooth >=0.5 && <0.6