GitHub repository: neysofu/reltester
Primary language: Rust
Created: 2023-03-08T22:24:31Z
Description: Automatically verify your [Partial]Eq/Ord invariants