Comment Comment by Gabriel54 Your example is not something that can be formally verified. parent Gabriel54 14 hours ago
