test:test

Dependencies

• Fin lib:Fin >=0.2.1 && <0.3
• alg lib:alg >=0.2.5 && <0.3
• base lib:base >=4.11 && <5
• natural-induction lib:natural-induction >=0.2 && <0.3
• peano lib:peano >=0.1 && <0.2
• permutations lib:permutations >=0
• smallcheck lib:smallcheck >=1.1.4
• tasty lib:tasty >=1.0
• tasty-smallcheck lib:tasty-smallcheck >=0.8
• universe-base lib:universe-base >=1.0 && <1.1

Reverse dependencies

None.