Skip to content

feat: Update Readme with PhysilbAlpha#1170

Open
jstoobysmith wants to merge 1 commit into
leanprover-community:masterfrom
jstoobysmith:readme-update
Open

feat: Update Readme with PhysilbAlpha#1170
jstoobysmith wants to merge 1 commit into
leanprover-community:masterfrom
jstoobysmith:readme-update

feat: Update Readme with PhysilbAlpha

bf7013c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Comment a pull_request
succeeded Jun 11, 2026 in 23s