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