feat: [lean4web] abstract the implementation of infoview as a webview#567
Open
joneugster wants to merge 1 commit intoleanprover:masterfrom
Open
feat: [lean4web] abstract the implementation of infoview as a webview#567joneugster wants to merge 1 commit intoleanprover:masterfrom
joneugster wants to merge 1 commit intoleanprover:masterfrom
Commits
Commits on Mar 8, 2025
- committed
