Formal verification in Lean

tl;dr: A bunch of resources I hope to get to.

Resources

• Lean game server
• Tutorial: Introduction to Formal Verification with Lean (Part 1)
• zkLean: A DSL for ZK statement verification

References

For cited works, see below 👇👇