- Feb 23, 2023
-
-
Eric Giovannini authored
-
- Dec 12, 2022
-
-
Eric Giovannini authored
-
- Oct 20, 2022
- Oct 18, 2022
-
-
Eric Giovannini authored
-
- Oct 12, 2022
-
-
Max S. New authored
-
Eric Giovannini authored
-
Eric Giovannini authored
-
Eric Giovannini authored
-
Max S. New authored
-
- Oct 11, 2022
-
-
Max New authored
-
Max New authored
-
Eric Giovannini authored
-
Eric Giovannini authored
-
Eric Giovannini authored
Show that `forall x, theta (next x) = x` has bad consequences, and an analogous fact with a relation R in place of `=`
-
Eric Giovannini authored
-
- Oct 04, 2022
-
-
Eric Giovannini authored
-
Eric Giovannini authored
-
- Jul 21, 2022
- Jul 19, 2022
-
-
Max New authored
-
