Add a paragraph about results certification using HOL Light in the PhD research document.
Add a paragraph about results certification using HOL Light in
the PhD research document.

massimo-nocentini/master-thesis,massimo-nocentini/master-thesis