Skip to content

fix checker: adding generic global support#653

Merged
protz merged 1 commit intoFStarLang:masterfrom
ssyram:fix-checker
Nov 3, 2025
Merged

fix checker: adding generic global support#653
protz merged 1 commit intoFStarLang:masterfrom
ssyram:fix-checker

Commits

Commits on Nov 3, 2025