今天在Julia中的荒谬之处:通过使用Julia类型实现一个(简单的!)形式验证迷你编程语言 它甚至可以从皮亚诺公理验证1+1=2!
4.69K