tydeualloy

Write C shims from within Lean code.
Displaying 1-2 of 2 packages depending on tydeu/alloy
Sort by

  1. algebraic-dev/Httpusesd93e059

    🌐 | HTTP primitives for Lean 4

  2. algebraic-dev/Parseusesd93e059

    🧩 | Parser generation for Lean 4.