Skip to content

feat: [lean4web] abstract lean client setup for websocket clients#496

Closed
abentkamp wants to merge 2 commits into
leanprover:masterfrom
hhu-adam:clientsetup
Closed

feat: [lean4web] abstract lean client setup for websocket clients#496
abentkamp wants to merge 2 commits into
leanprover:masterfrom
hhu-adam:clientsetup

Commits

Commits on Jan 10, 2025