Available on Google PlayApp Store
Idrisで依存型を使った定理証明入門依存型で証明ができる原理三段論法$\lor$(または)全関数ド・モルガンの法則等価性の証明何のために証明するの?まとめ

Share

Trends

trends timeline
trends timeline for %E4%BE%9D%E5%AD%98%E5%9E%8B%20-%20Dependent%20type