ja.

less info
stack exchange network profile network profile
161 reputation
1
bio website
location
age
visits member for 1 year, 3 months
seen Apr 23 at 12:31
stats profile views 1

2 Actions

suggestions reviews revisions comments badges posts accepts all
Jan
31
 awarded  Teacher
Jun
1
 answered “A proof is a program; the formula it proves is a type for the program”