Following Organizations
No Organizations you are following
$ analyze @zaki5m
posted articles:
- Agda:100%
- ラムダ計算:100%
- 依存型:100%
- 定理証明支援系:100%
answered questions:
- No data
No Organizations you are following