projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1258843) | patch
Add first step for proofs documentation (#8193)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 11 Mar 2022 20:09:45 +0000 (21:09 +0100)
committerGitHub <noreply@github.com>
Fri, 11 Mar 2022 20:09:45 +0000 (20:09 +0000)
commit5ac79f5d2fda1ce189c6470c8201c016e62fe943
treed392e3dff54a24075e644f1fd18c9552f69e3d53tree
parent12588439a7b1497d03d1ffb0d4b9ed4646ac9bdfcommit | diff
Add first step for proofs documentation (#8193)

This PR initializes some documentation for our proofs. It adds some almost empty files and makes sure that we can show documentation for the PfRule enum.
docs/api/cpp/CMakeLists.txt diff | blob | history
docs/index.rst diff | blob | history
docs/proofs/output_alethe.rst [new file with mode: 0644] blob
docs/proofs/output_lean.rst [new file with mode: 0644] blob
docs/proofs/output_lsfc.rst [new file with mode: 0644] blob
docs/proofs/proof_rules.rst [new file with mode: 0644] blob
docs/proofs/proofs.rst [new file with mode: 0644] blob