lean-client-js
lean-client-js copied to clipboard
Question about request types.
I am not very clear what do commands like info, sync and complete exactly do to the server. Comments are missing in the server.ts file.
There is some more documentation here which may be helpful: https://github.com/leanprover-community/lean/blob/master/doc/widget_server.md