https://github.com/paolino/keri-lean

Lean 4 formalization of KERI protocol invariants
https://github.com/paolino/keri-lean

cryptography formal-verification keri lean4 theorem-proving

Last synced: 4 months ago
JSON representation

Lean 4 formalization of KERI protocol invariants

• Host: GitHub
• URL: https://github.com/paolino/keri-lean
• Owner: paolino
• License: apache-2.0
• Created: 2026-02-21T19:42:50.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2026-02-21T22:11:22.000Z (4 months ago)
• Last Synced: 2026-02-22T01:08:34.374Z (4 months ago)
• Topics: cryptography, formal-verification, keri, lean4, theorem-proving
• Language: Lean
• Homepage: https://paolino.github.io/keri-lean/
• Size: 640 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Roadmap: docs/roadmap.md

Awesome Lists containing this project