Skip to content
#

reflection-emit

Here are 6 public repositories matching this topic...

Prove a function in Lean 4, call it from C#. lean2il re-checks every proof with Tenet, an independent Lean kernel, compiles the kernel terms to .NET IL, and writes the docs from the Lean. With a VS Code extension.

  • Updated Sep 27, 2026
  • C#

Add this topic to your repo

To associate your repository with the reflection-emit topic, visit your repo's landing page and select "manage topics."

Learn more