Open Issues Need Help
View All on GitHub Define core domain models and interfaces (Invariant, InvariantResult, BaseInferencer/BaseValidator) about 2 months ago
enhancement good first issue core
dsa-collective/invariant-lab dsa-collective/invariant-lab Infers, validates, and visualizes invariants in loops, recursive algorithms, and data-structure operations
Open project →
0
Infers, validates, and visualizes invariants in loops, recursive algorithms, and data-structure operations