Skip to content

[pre-commit.ci] auto fixes from pre-commit.com hooks

2753611
Select commit
Loading
Failed to load commit list.
Open

docs: remove duplicate lean_proof_env README entry and renumber index #445

[pre-commit.ci] auto fixes from pre-commit.com hooks
2753611
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs