Skip to content

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

Open
joneugster wants to merge 1 commit intoleanprover:masterfrom hhu-adam:webview2
+118-74

Commits

Commits on Jan 13, 2025