proof-theory
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Anatomy of a formal proof |
|
0 | 1 | January 27, 2025 |
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Anatomy of a formal proof |
|
0 | 1 | January 27, 2025 |