Skip to content

feat: create physlean announcement#131

Open
herostrat wants to merge 2 commits into
leanprover-community:masterfrom
herostrat:master
Open

feat: create physlean announcement#131
herostrat wants to merge 2 commits into
leanprover-community:masterfrom
herostrat:master

rework: physlean is now physlib

7568533
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs