kmizu/sroof

A proof assistant for programmers — Scala 3, Predicative CIC, Scala Native

语言：Scala · GitHub 星标：8 · Fork：0

在 GitHub 上查看原仓库