An implement of Löb’s theorem in Emacs Lisp - View it on GitHub
Star
0
Rank
13250909