SrGaabriellapis0.4.2

✏️ | A cutting-edge, concurrent & performant Language Server Protocol (LSP) framework for Lean 4.
Displaying 1-1 of 1 packages depending on SrGaabriel/lapis
Sort by

  1. SrGaabriel/soma-workspaceusesv0.4.2

    ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.