Sign inSign up

reilabs/lampe

Extracting the semantics of Noir to Lean for formal verification

LeanStars 34Forks 4Watchers 34Open issues 19License Apache License 2.0
Details
仓库信息
Ownerreilabs
Homepagehttps://reilabs.io
GitHubhttps://github.com/reilabs/lampe
Last pushed2025-12-05
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--