27
Nov

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


Tags: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

31 Comments

Leave a Reply

Your email address will not be published. Required fields are marked *