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