きゅーけー [email protected]

GNU Guix ユーザーの Lisper で、自由ソフトウェアと行動分析学が好きです。

最近は ACL2 に自動推論させて定理を証明させるのにはまっています。

*注意*
このアカウントは深夜1時から朝7時までの間、自動的にアカウントがロックされるように設定されています。