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.
|