Repository · shipping
Extracting the semantics of Noir to Lean for formal verification
stars
40
forks
8
contributors
open issues
9
piohei
@piohei
43
commits
mpenciak
@mpenciak
39
iamrecursion
@iamrecursion
38
utkn
@utkn
24
kustosz
@kustosz
23
Eduardogbg
@Eduardogbg
5
krushimir
@krushimir
3
aakoshh
@aakoshh
1
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
