keithadler.lean-to-dot-net

Lean to .NET

Total downloads

446

7d gain

0

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.4.0

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: keithadler
Name: lean-to-dot-net
License: MIT
Homepage: https://github.com/keithadler/lean-to-dot-net#readme
Repository: https://github.com/keithadler/lean-to-dot-net.git
Reviews: 0

Taxonomy

Categories

Programming Languages Snippets Visualization Other

Description

Prove a function in Lean 4, call it from C#, F# or VB.NET: recursion, lists, strings and options included. Builds with lean2il (bundled), tests every build against Lean's own compiler, and shows the proofs behind every call: a Proofs view, a Proof Dashboard, lenses, hovers and completion.

Archive

Release history

2 latest releases