5 skills found
nick8325 / QuickspecEquational laws for free
NorfairKing / EasyspecSignature inference for Functional Property Discovery in Haskell
dubzzz / Fast SpecDiscover laws in your code like with QuickSpec
JoinedSenses / TF2 QuickSpecQuickly spectate other players
mikkelmilo / Rooster SpecAutomated Theory Exploration in Coq using Haskell's QuickSpec
