open hol (33 results)