New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Proof format #978

Open

bvssvni opened this issue Apr 23, 2021 · 2 comments

Labels

discussion draft

Contributor

bvssvni commented Apr 23, 2021

One idea is to have a human readable file format that can be checked automatically by Poi without search or standard library.

bvssvni added discussion draft labels

Contributor Author

bvssvni commented Apr 23, 2021

An idea is to use the logs from Poi-Reduce as the format. This will make it easy to use Poi-Reduce to produce proofs.

Contributor Author

bvssvni commented Apr 24, 2021

An idea is to use markdown, like the standard library.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment