2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。
Following Organizations
No Organizations you are following
Following tags
No tags you are following
$ analyze @nekonibox
posted articles:
- Coq:56%
- ssreflect:53%
- 形式検証:21%
- Haskell:15%
- 数学:12%
answered questions:
- No data