Skip to content

feat: [lean4web] abstract the implementation of infoview as a webview#495

Closed
abentkamp wants to merge 1 commit into
leanprover:masterfrom
hhu-adam:webview
Closed

feat: [lean4web] abstract the implementation of infoview as a webview#495
abentkamp wants to merge 1 commit into
leanprover:masterfrom
hhu-adam:webview

feat: [lean4web] abstract the implementation of the infoview as a web…

50d71d1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs