-
Proof Summit 2012
5575pv 15 2 users -
Coqの話あれこれ
4250pv 5 3 users -
Proof Summit 2011
3991pv 8
-
Agda2におけるPropとSet0の違い
2242pv 3 users