section
‹ The Main Entry Point›
theory
Solidity_Main
imports
Valuetypes
Storage
Environment
Statements
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.5.16~\url{https://docs.soliditylang.org/en/v0.5.16/index.html}
›
end
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet am 2026-11-04)
¤
*© Formatika GbR, Deutschland
