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

Update test.lean#126

Open
roozbeh-mohit wants to merge 3 commits into
openai:mainfrom
roozbeh-mohit:main-1
Open

Update test.lean#126
roozbeh-mohit wants to merge 3 commits into
openai:mainfrom
roozbeh-mohit:main-1

Adding a few proofs to test.lean

0e42bc0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs