-
Notifications
You must be signed in to change notification settings - Fork 5
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.
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
Document the code #5
Comments
I've been looking around for a proof assistant to extend, i have some ideas for an interface but want to bootstrap an existing prover so i can use its parser and data structures as a backend for other equivalent proof systems. Any progress on the documentation? I have minimal experience in webdev so without documentation it will be pretty tough for me to sort through what the code does. |
I have no plans myself; and @frabjous probably doesn't either I'm afraid. Personally I use Carnap.io for all my proof checker needs. It covers many different proof systems. |
Would be easier for others to understand and contribute to the code if it were documented.
The text was updated successfully, but these errors were encountered: