/Zoq

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

Primary LanguageZig

Stargazers