All issues

Search results

Track whole-library upstream idiom review and follow-ups

Status: Open.

#233 In Verified-zkEVM/PolyFun;

· dtumad opened on Sep 17, 2026

Future development: add an angelic Std.WP bridge after Lean 4.35

enhancementNew feature or requestNew feature or request

Status: Open.

#177 In Verified-zkEVM/PolyFun;

· quangvdao opened on Aug 29, 2026