Skip to content

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

Closed
joneugster wants to merge 1 commit into
leanprover:masterfrom
hhu-adam:clientsetup2
Closed

feat: [lean4web] abstract lean client setup for websocket clients#568
joneugster wants to merge 1 commit into
leanprover:masterfrom
hhu-adam:clientsetup2

feat: abstract lean client setup for websocket clients

f9e346d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped