feat: [lean4web] abstract the implementation of infoview as a webview#495
Closed
abentkamp wants to merge 1 commit intoleanprover:masterfrom
Closed
feat: [lean4web] abstract the implementation of infoview as a webview#495abentkamp wants to merge 1 commit intoleanprover:masterfrom
abentkamp wants to merge 1 commit intoleanprover:masterfrom
Commits
Commits on Jan 10, 2025
- authored andcommitted
