- Oct 12, 2022
-
-
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
-
- Aug 17, 2022
-
-
Max New authored
-
- Jul 27, 2022
-
-
Max New authored
-
- Jul 21, 2022
- Jul 19, 2022
-
-
Max New authored
-
- Jul 18, 2022
-
-
Max New authored
-
