mirror of
https://github.com/aljazceru/cdk.git
synced 2025-12-26 09:05:09 +01:00
Duplicating proofs across stucks leads to unneeded duplication. Adding the feilds in nut00 with the feilds behind features reduces this.
Duplicating proofs across stucks leads to unneeded duplication. Adding the feilds in nut00 with the feilds behind features reduces this.