Niels Voss
nielsvoss
Undergraduate mathematics major at UC Berkeley, class of 2028. Working on formalizing mathematics in Lean.
Berkeley, California, USA 首次见于 2023-01-02
0
事件
32
公开仓库
10
关注者
2
关注中
最近动态事件流
暂无事件(该实体在采样范围内无动态)
Undergraduate mathematics major at UC Berkeley, class of 2028. Working on formalizing mathematics in Lean.