| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 1 year, 3 months |
| seen | Apr 23 at 12:31 | |
| stats | profile views | 1 |
|
Jan 31 |
awarded | Teacher |
|
Jun 1 |
answered | “A proof is a program; the formula it proves is a type for the program” |
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 1 year, 3 months |
| seen | Apr 23 at 12:31 | |
| stats | profile views | 1 |
|
Jan 31 |
awarded | Teacher |
|
Jun 1 |
answered | “A proof is a program; the formula it proves is a type for the program” |