 |
Post Ay0FLu1EXKR8OrcX3Y by [email protected] |
 |
More posts by [email protected] |
|
Post #Ay0FLqbFFUrjnOREdE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Very fun fact from my lecture today: the law of excluded middle is admissible i… |
|
|
|
Post #Ay0FLqiKp8XM9NktgO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Bool canonicity at home |
|
|
|
Post #Ay0FLqoiRPdoTAjzd2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dwarfobserver we'll get there in a few weeks! But this theorem doesn't… |
|
|
|
Post #Ay0FLu1EXKR8OrcX3Y by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Ah yup, I was interpreting formulas as boolean terms ^^ |
