 |
Posts by [email protected] |
 |
Post #AwVVC92vebEkJZlBvk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez There are been a lot of nice works with this perspective in log… |
|
|
|
Post #Ay0FLqiKp8XM9NktgO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Bool canonicity at home |
|
|
|
Post #Ay0FLu1EXKR8OrcX3Y by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Ah yup, I was interpreting formulas as boolean terms ^^ |
