Clinton-Nmereole/Zoq

Miniature proof helper similar to Coq and inspired by Noq but written in Zig

语言：Zig · GitHub 星标：2 · Fork：0

在 GitHub 上查看原仓库