hyperpolymath / zig-prover-ffi Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Zig FFI for theorem prover integration (Agda/Coq/Isabelle) - Inspired by echidnabot

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.github/workflows		.github/workflows
.meta		.meta
src		src
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
.tool-versions		.tool-versions
AGENTIC.scm		AGENTIC.scm
ECOSYSTEM.scm		ECOSYSTEM.scm
LICENSE		LICENSE
MAINTAINERS.adoc		MAINTAINERS.adoc
META.scm		META.scm
Mustfile		Mustfile
NEUROSYM.scm		NEUROSYM.scm
PLAYBOOK.scm		PLAYBOOK.scm
PROVENANCE.md		PROVENANCE.md
README.adoc		README.adoc
STATE.scm		STATE.scm
build.zig		build.zig
build.zig.zon		build.zig.zon
justfile		justfile

Repository files navigation

zig-prover-ffi

Zig FFI bindings for theorem provers (Z3, CVC5).

License

AGPL-3.0-or-later