Document the code

[rzach]

Would be easier for others to understand and contribute to the code if it were documented.

[Benschar1]

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.

[rzach]

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.