projects / cvc5.git / commit
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | |
| Thu, 3 Feb 2022 14:56:34 +0000 (08:56 -0600) | ||
| committer | GitHub <noreply@github.com> | |
| Thu, 3 Feb 2022 14:56:34 +0000 (14:56 +0000) | ||
| commit | bf91c668b9f5089d6e4d9f9b254d7fca302cdf7f | |
| tree | 0b669c02cb84f1f0a5333df585959d14759c7e76 | tree |
| parent | 593130c35c03da15bfd4bad794246fef0fd09a66 | commit | diff |
| proofs/lfsc/signatures/theory_def.plf | diff | blob | history |