@risgk

Following Users87

定理証明系や論理プログラミングに興味をもっています。

ヾ(  l   _   l  〃)ノ゙ドン☆

The creator of the Egison programming language.

Hello