projects / cvc5.git / commit
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | |
| Thu, 28 Oct 2021 14:53:49 +0000 (09:53 -0500) | ||
| committer | GitHub <noreply@github.com> | |
| Thu, 28 Oct 2021 14:53:49 +0000 (14:53 +0000) | ||
| commit | 5c375aa95dce3be6a8b7abfa2f175de6c22b0627 | |
| tree | 352758b4422782f0b6287fbacad800243ce4ce48 | tree |
| parent | 9980a0075ea396b544154a564c35f33c1df96992 | commit | diff |
| proofs/lfsc/signatures/boolean_programs.plf | [new file with mode: 0644] | blob |
| proofs/lfsc/signatures/boolean_rules.plf | [new file with mode: 0644] | blob |