Skip to content

feat: Other implementation#1111

Open
jstoobysmith wants to merge 3 commits into
leanprover-community:masterfrom
jstoobysmith:feat-OtherImpl
Open

feat: Other implementation#1111
jstoobysmith wants to merge 3 commits into
leanprover-community:masterfrom
jstoobysmith:feat-OtherImpl

Conversation

@jstoobysmith

Copy link
Copy Markdown
Member

Adding the ability to link to other implementations within Physlib.

@jstoobysmith jstoobysmith marked this pull request as ready for review June 2, 2026 11:52
@jstoobysmith jstoobysmith added the RFC Request for comment label Jun 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

RFC Request for comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant