Open maramihali opened 8 months ago
The structure of the proof defined in Ultra/ GoblinUltra is different from what ProtoGalaxy is actually doing
Ultra
GoblinUltra
Is there not a simple modification of the structure to adjust to PG?
Possibly, didnt think about the best way to do it, just opened the issue as something that is missing
The structure of the proof defined in
Ultra
/GoblinUltra
is different from what ProtoGalaxy is actually doing