Informasi yang berkaitan dengan fr/HOL (assistant de preuve)