EXPLORE / DERIVE / VERIFY

计算机系统，逐步看清。

两个独立的本地实验，无安装、无账号、无联网。