Code

feat: server -> client requests#3271

Code

Merged

mhuisi merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom mhuisi:mhuisi/server-to-client-requestsmhuisi/lean4:mhuisi/server-to-client-requestsCopy head branch name to clipboardMar 14, 2024

+132-15

Commits

Commits on Mar 14, 2024

• feat: server -> client requests

  mhuisi

  committed
  b2826c7

  Copy full SHA for b2826c7

• chore: add missing prelude

  mhuisi

  committed
  136fe57

  Copy full SHA for 136fe57