search

lean-ja / lean-ja.github.io

lean-ja の団体トップページ
https://lean-ja.github.io/
MIT License
0 stars 0 forks source link

他の定理証明支援系や関数型言語との違いを述べる #17

Closed Seasawher closed 11 months ago

Seasawher commented 1 year ago

定理証明支援系も関数型言語もいろいろあるので、それらとの違いを述べるべきだと思いました。

例えば　Coq や Haskell と比べて、どう違うのかという話を入れたい。

Seasawher commented 11 months ago

今は後回しにせざるを得ないかもしれません