Code

feat: lake exe function (#76)#77

Code

Closed

quinn-dougherty wants to merge 1 commit intoleanprover-community:masterleanprover-community/lean4-mode:masterfrom quinn-dougherty:masterquinn-dougherty/lean4-mode:masterCopy head branch name to clipboard

+80

Commits

Commits on Aug 19, 2024

• feat: lake exe function (leanprover-community#76)

  Show description for e535a0e
  quinn-dougherty

  committed
  e535a0e

  Copy full SHA for e535a0e