kory33/scala-proofs

An attempt to build axiomatic, formal set theory on top of Scala.

语言：Scala · GitHub 星标：37 · Fork：1

话题：dotty · scala

在 GitHub 上查看原仓库