Similar repositories to theoremprover-museum/HOL90: