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

rename file

aa5ae4e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs