Skip to content

Repository cleanup: citation metadata, unused files, and CI docs - #4741

Open
feliperodri wants to merge 5 commits into
model-checking:mainfrom
feliperodri:repo-cleanup
Open

Repository cleanup: citation metadata, unused files, and CI docs#4741
feliperodri wants to merge 5 commits into
model-checking:mainfrom
feliperodri:repo-cleanup

Commits

Commits on Aug 17, 2026