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
@morrison-daniel

Copy link
Copy Markdown
Collaborator

Can you explain why this is better than a link in a doc-string? Would we pull these out for the website or something similar?

@jstoobysmith jstoobysmith added the awaiting-author A reviewer has asked the author a question or requested changes label Aug 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

awaiting-author A reviewer has asked the author a question or requested changes RFC Request for comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants