防水的 防水是一种教育工具，学生可以在其中交互式地证明数学陈述。这是一个练习示例，也是“防水”解决方案的一部分。 开发构建状态： 如何开始 入门防水的最简单方法是遵循以下步骤： 步骤1.按照以下步骤安装SerAPI 步骤2.使用的安装程序安装Waterproof Windows的第1步。安装SerAPI。 从下载适用于Windows的Ocaml图形安装程序。 Windows可能表明该软件未被许多人使用。无论如何要使用该软件，请选择keep 。 选择.exe文件，然后右键单击.exe文件，然后