Closed BasileiosKal closed 6 months ago
Based on the new proof from #288
Discussed on the WG call at the 18th of Dec. Conflicts need resolving.
Conflicts resolved. Multiple approvals. Discussed on the last WG call (18th of Dec, 2023). Merging. Thank you!
Based on the new proof from #288