This repository was archived by the owner on Mar 29, 2023. It is now read-only.

c-cube/quipPublic archive

NotificationsYou must be signed in to change notification settings
Fork1
Star12

[wip] Proof format and checker for first-order and higher-order theorem provers

c-cube.github.io/quip-book/

12 stars 1 fork Branches Tags Activity

Star

Notifications

You must be signed in to change notification settings

Branches Tags

Folders and files

Name		Name	Last commit message	Last commit date
Latest commit History 122 Commits
.github/workflows		.github/workflows
examples		examples
src		src
tests		tests
.gitattributes		.gitattributes
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
dune-project		dune-project
quip.opam		quip.opam
quip.sh		quip.sh

Repository files navigation

Quip

Quick Proof, a proof format for first-order and higher-order theorem provers.This repo contains a proof checker.

note: this is work-in-progress.

License

MIT

About

[wip] Proof format and checker for first-order and higher-order theorem provers

c-cube.github.io/quip-book/

Releases

No releases published

Packages

No packages published

Languages

OCaml99.9%
Other0.1%

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Folders and files

Latest commit

History

Repository files navigation

Quip

License

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages

Languages

Movatterモバイル変換

c-cube/quip

Folders and files

Latest commit

History

Repository files navigation

Quip

License

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages0

Languages

Packages