Allow user to jump to source directly from the verification output #1568
Description
Allow user to jump to source of a property or proof directly from the verification output and eventually from the sidebar.
{{ message }}
Allow user to jump to source of a property or proof directly from the verification output and eventually from the sidebar.