Description: Using macros and advanced compilation technology to achieve high-level language similar to the conditional branch statement IF function. At the same time, the preparation of a program prepared to prove the correctness of macros. Requirements are as follows: (1). Iff conditions after the
To Search:
File list (Check if you may need any files):