Проверьте Coq доказательства на другом языке

У меня была та же проблема, но решение Dirk, похоже, не работало. Я получал это предупреждение messege каждый раз

"prob" is not a graphical parameter

. Я читал «hist» и нашел около freq: логический вектор установлен по умолчанию TRUE.

код, который работал для me is

hist(x,freq=FALSE)
lines(density(x),na.rm=TRUE)