Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for lean formal verification
formal-verification
x
lean
x
5 search results found
Aeneas
⭐
82
A verification toolchain for Rust programs
Cvxlean
⭐
17
Convex optimization modeling in Lean 4
Isarmathlib
⭐
16
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
Proven Zk
⭐
8
A support library for working with zero knowledge cryptography in Lean 4.
Gnark Lean Demo
⭐
6
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
Related Searches
Openwrt Lean (807)
Shell Lean (764)
Firmware Lean (473)
Javascript Lean (193)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.