Common LeanCheck instances
Why do you think that https://github.com/rudymatela/speculate is a good alternative to leancheck-instances
Common LeanCheck instances
Why do you think that https://github.com/rudymatela/speculate is a good alternative to leancheck-instances