projects / cvc5.git / commit
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | |
| Thu, 28 Oct 2021 15:12:34 +0000 (10:12 -0500) | ||
| committer | GitHub <noreply@github.com> | |
| Thu, 28 Oct 2021 15:12:34 +0000 (15:12 +0000) | ||
| commit | a0201d8d916d1db52ac53c923f656a5c56f3efe0 | |
| tree | 2a7fd2e7e7f58ea2a1277a0faff148dd00d267f2 | tree |
| parent | 5c375aa95dce3be6a8b7abfa2f175de6c22b0627 | commit | diff |
| proofs/lfsc/signatures/cnf_rules.plf | [new file with mode: 0644] | blob |