Skip to content
This repository was archived by the owner on Aug 27, 2026. It is now read-only.

Commit 917479d

Browse files
AdityaVG13AdityaVG13
committed
Compile generic frozen-state theorem
1 parent a4240cc commit 917479d

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎.github/workflows/wave2-family5-lean432-check.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,4 +34,5 @@ jobs:
3434
export LEAN_PATH="$PWD"
3535
lean verification/wave2_family5/Wave2Family5.lean
3636
lean verification/wave2_family5/BoolEnumExplicit.lean
37+
lean verification/wave2_family5/StatefulGeneric.lean
3738
printf 'LEAN_COMPILE_EXIT=0\n'

0 commit comments

Comments
 (0)