3 ms·
For the benefit of people without specific knowledge of people at MIT: Adam is Adam Chlipala http://adam.chlipala.net/ http://adam.chlipala.net/
by kmill 9y ago
For the benefit of people without specific knowledge of people at MIT: Adam is Adam Chlipala http://adam.chlipala.net/ http://adam.chlipala.net/