George Hotz | Programming | obscure languages sunday : LEAN metamath parser

George Hotz | Programming | obscure languages sunday : LEAN metamath parser

source http://tessrijogo.blogspot.com/2019/12/george-hotz-programming-obscure_19.html

source https://pligg-is-an-open-source-cms.blogspot.com/2019/12/george-hotz-programming-obscure.html

source https://tessrijogo.blogspot.com/2019/12/george-hotz-programming-obscure_18.html