search

lindy-labs / aegis

Verify Cairo contracts in Lean 4
GNU General Public License v3.0
8 stars 0 forks source link

Add support for labels in Sierra files #13

Open javra opened 9 months ago

javra commented 9 months ago

As can be seen in here. Low priority because these don't seem to show up in Sierra generated from Cairo.