All Episodes - TojoQKチャンネル

Lisp 系のプログラミング言語や定理証明支援系の一つである ACL2 とか Emacs とか GNU/Linux についての話をすることを主な目的としたチャンネルです。

View Podcast Details