About

「他单纯只想把日子过得不浪费」

Hey，我是王海，一名科研工作者。

Hey, I am Hai Wang, a researcher.

FEATURED TAGS
SF (软件基础) 笔记 Coq PLF (编程语言基础)
ABOUT ME

成为一名探究人类智慧的科学家

FRIENDS