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