search

SpectralSequences / sseq

The root repository for the SpectralSequences project.
Apache License 2.0
25 stars 10 forks source link

Replace most `fp::vector` tests by proptests #135

Closed JoeyBF closed 1 year ago

JoeyBF commented 1 year ago

Similar to #133, but with a broader scope. I believe the new tests are strictly more general