View Single Post
Old 10 December 2012, 19:55   #5
lilalurl
Global Moderator
lilalurl's Avatar
 
Join Date: Aug 2001
Location: France
Posts: 3,289
Send a message via ICQ to lilalurl
Congratulations to everyone involved, even those "just" reporting some errors (it can be very useful).


I cannot imagine how much time the core team spent to build the main part of HOL. When I see the time I need to do just a few modifications and create a few entries, I am amazed that some people spent hours and hours during 10 years doing that.
lilalurl is offline  
 
Page generated in 0.04592 seconds with 11 queries