predicate-logic
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Why cond raises an error without truthy value? |
|
3 | 829 | April 27, 2020 |
| Remove implications on predicate logic |
|
2 | 517 | May 20, 2018 |
