Improve the build script, re-enable Search commands #70
Annotations
2 warnings
Build Schools:
2024-07-Minneapolis/5_Set-level-mathematics/set_level_mathematics_exercises.v#L138
Notation gradth is deprecated. Use isweq_iso instead.
|
Build Schools:
2024-07-Minneapolis/5_Set-level-mathematics/set_level_mathematics_exercises.v#L138
Notation gradth is deprecated. Use isweq_iso instead.
|
Loading