Geeks
lindy-labs
/
aegis
Verify Cairo contracts in Lean 4
Primary Language
Lean
GNU General Public License v3.0
GPL-3.0
aegis GitHub
Markdown
Readme
13
Issues
11
Stargazers
6
Watchers
Watchers
0xBRM
@lindy-labs
eemailme
javra
milancermak
Europe
RaitoBezarius
Independent Contributor
yoavseginer