just now

TojoQKチャンネル cover art

TojoQKチャンネル

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

Released

Popularity

2.1

Trending

1.3

Episodes

2

Update Freq

Inactive

Priority

★ Normal

Share:

Latest Episodes

Loading episodes...
View All Episodes

User Reviews

URL copied to clipboard!