@julesh binary logic proves too much
a -> (b -> a) is BS but binary logic thinks it's fine
Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
CubeRootOfTrue (cuberootoftrue@mathstodon.xyz)'s status on Thursday, 07-Nov-2024 00:28:40 JSTCubeRootOfTrue