tydeu / lean4-alloy

Write C shims from within Lean code.
Apache License 2.0
42 stars 11 forks source link

Update README snippet to match example lakefile #5

Closed badly-drawn-wizards closed 4 months ago

badly-drawn-wizards commented 4 months ago

Got an error using the snippet and used the example S lakefile for reference instead.

tydeu commented 4 months ago

Thanks!