| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Solidity/ (Sammlung formaler Beweise Version 2026-5©) Datei vom 29.4.2026 mit Größe 406 B |
|
Quelle Solidity_Main.thySprache: Isabelle |
|||||||||||||||
|
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 t 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/in end
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-09