bio | website | |
---|---|---|

location | 中国 | |

age | ||

visits | member for | 3 years, 3 months |

seen | yesterday | |

stats | profile views | 132 |

mainly work on computability and reverse mathematics, also interested in other areas of logic.

Mathematics | 183 rep | 3 | |

MathOverflow | 117 rep | 7 | |

Stack Overflow | 1 rep | ||

Meta Stack Exchange | 1 rep | ||

TeX - LaTeX | 1 rep |

This user has no active bounties

# 25 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

25 | up | 6 | question | ||

0 | down | 19 | answer |