Open Issues Need Help
View All on GitHub Define core domain models and interfaces (Invariant, InvariantResult, BaseInferencer/BaseValidator) about 3 hours ago
enhancement good first issue core
Infers, validates, and visualizes invariants in loops, recursive algorithms, and data-structure operations