Skip to content

Fix some missing and incorrect Proof commands

0dbec41
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fix some missing and incorrect Proof commands #254

Fix some missing and incorrect Proof commands
0dbec41
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
stdlib-warnings
succeeded Apr 2, 2026 in 4m 10s