Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq

Figure 6

Formal version of the conditional statement shown in Figure 5 in Lolisa.