About

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

Hi 小白闯天下。嘻嘻。

Hello. come and go.

FEATURED TAGS
LF (逻辑基础) 笔记 Coq SF (软件基础) PLF (编程语言基础) 基础 C C++
ABOUT ME

待定
待定

FRIENDS