search

tydeu / lean4-alloy

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

chore: bump for lean4#3159 #7

Closed mhuisi closed 3 months ago

mhuisi commented 4 months ago

This PR bumps alloy for the changes in leanprover/lean4#3159. It should be merged when the v4.6.0 RC is released. Before merging, the toolchain needs to be adjusted.

tydeu commented 3 months ago

Thanks Marc! I incorporated this PR into 5ae885f.