Toggle navigation
Packages
Pricing
Docs
Log in
nickva
Total Owned Packages
1
Total Downloads
35 386
triq
1.3.0
35 386 Downloads
Triq (Term Reductive Invariant Questant) QuickCheck
Nick Vatamaniuc
vatamane@gmail.com