Theory Solidity_Main

section‹ The Main Entry Point›  
theory
  Solidity_Main
imports
  WP Contract
begin
text‹
  This theory is the main entry point into the session Solidity, i.e., it serves the same purpose
  as @{theory "Main"} for the session @{session "HOL"}.

  It is based on Solidity v0.8.25~\url{https://docs.soliditylang.org/en/v0.8.25/index.html}
›

end