181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
ACL2、AI と人間の対話という未来のプログラミング体験をしている気がする。