Merge requests · veriT / Alethe

Merge trains

connective_def: added def. of exists in terms of forall

!24 · created May 13, 2025 by Mallku Soldevila
- Merged
- 2
updated May 23, 2025
Fixes in rule forall_inst: using simultaneous subst.; adding comments about...

!23 · created May 13, 2025 by Mallku Soldevila
- Merged
- 1
updated May 13, 2025
Fixes in rule forall_inst: using simultaneous subst.; adding comments about...

!22 · created May 12, 2025 by Mallku Soldevila
- Closed
- 1
updated Jun 16, 2025
Improve la_tautology description

!21 · created Apr 29, 2025 by Hans-Jörg
- Merged
- Approved
updated May 07, 2025
Make `cong` more flexible.

!20 · created Apr 08, 2025 by Hans-Jörg
- Merged
- 3
- Approved
updated Apr 29, 2025
Minted 2023 update

!19 · created Mar 14, 2025 by Bernardo Borges
- Closed
- 6
updated May 07, 2025
Minor changes in rule distinct_elim, nary_elim, distinct_elim, and source code docu. in doc.tex

!18 · created Feb 12, 2025 by Mallku Soldevila
- Merged
- 1
updated Apr 08, 2025
Add shuffle rule

!17 · created Dec 04, 2024 by Hans-Jörg
- Merged
- 6
updated Jan 13, 2025
Fix typos

!16 · created Nov 29, 2024 by Lachnitt
rules
- Merged
- 1
updated Nov 29, 2024
Positional arguments start at 0.

!15 · created Oct 22, 2024 by Haniel Barbosa
- Merged
- 1
- Approved
updated Oct 23, 2024
Add bind_let rule

!14 · created Aug 12, 2024 by Hans-Jörg
- Merged
- 6
updated Sep 03, 2024
Make the description of the comp_simplify rule clearer

!13 · created Aug 12, 2024 by Hans-Jörg
- Merged
updated Sep 03, 2024
Suggestion to make comp_simplify rule easier to understand

!12 · created Aug 09, 2024 by Lachnitt
- Closed
- 4
updated Sep 03, 2024
Add weakening rule

!11 · created Aug 08, 2024 by Hans-Jörg
- Merged
updated Aug 09, 2024
Fix potential typo in hole rule?

!10 · created Aug 07, 2024 by Lachnitt
- Merged
- 1
updated Aug 07, 2024
Add index to four rules

!9 · created Jul 18, 2024 by Hans-Jörg
- Merged
updated Jul 19, 2024
Adding eq_symmetric rule

!8 · created Jun 11, 2024 by Haniel Barbosa
- Merged
- 1
updated Jul 15, 2024
Update forall_inst

!7 · created Jun 03, 2024 by Hans-Jörg
- Merged
- 3
updated Jun 05, 2024
Add la_mult_pos and la_mult_neg rules

!6 · created May 24, 2024 by Lachnitt
- Merged
- 10
updated May 29, 2024
Document cvc5-style numerals

!5 · created May 23, 2024 by Hans-Jörg
- Merged
- 10
updated Aug 07, 2024