Thread: HOL Contributors Wanted!
View Single Post
Old 28 April 2024, 05:34   #655
TCD
HOL/FTP busy bee
 
TCD's Avatar
 
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,822
Thank you. I've added the new scans to the HOL FTP.
TCD is offline  
 
Page generated in 0.04225 seconds with 11 queries