中文
Appearance
自然演绎证明编译器
拒绝点点点！使用您最喜欢的编辑器编辑证明！
使用Scala Native，您可以直接下载适合您架构的二进制文件或JAR构建！
您可以将证明编译为Lean，进一步确保正确性！