| 406 |
User-defined keyboard mappings |
unplanned |
open |
|
2024-07-12
|
2024-07-12
|
|
| 405 |
Keep information about basic constructors |
3.10 |
open |
Guillaume Verdier
|
2024-07-02
|
2024-07-02
|
|
| 404 |
Proofs on bounds of upto |
unplanned |
open |
|
2024-02-29
|
2024-02-29
|
|
| 402 |
Hide/deselect hypothesis after equivalence rewriting |
3.9 |
open |
Guillaume Verdier
|
2024-02-13
|
2024-02-13
|
|
| 401 |
Hide/deselect more equalities after rewriting |
3.9 |
open |
Guillaume Verdier
|
2024-02-13
|
2024-02-13
|
|
| 399 |
Loosen WD condition on exponent |
unplanned |
open |
Guillaume Verdier
|
2024-01-22
|
2024-02-28
|
|
| 397 |
Improve induction hypothesis |
unplanned |
open |
Guillaume Verdier
|
2024-01-22
|
2024-02-29
|
|
| 391 |
Prove finiteness with injection |
unplanned |
open |
Guillaume Verdier
|
2023-08-22
|
2023-08-22
|
|
| 390 |
Proof rules defined on ℙ but not ℙ1 |
unplanned |
open |
Guillaume Verdier
|
2023-08-21
|
2023-08-21
|
|
| 389 |
Rewrite rule for parallel product |
unplanned |
open |
Guillaume Verdier
|
2023-08-21
|
2023-08-21
|
|
| 388 |
Rewrite rule for direct product |
unplanned |
open |
Guillaume Verdier
|
2023-08-21
|
2023-08-21
|
|
| 387 |
Add possibility to view old proofs |
unplanned |
open |
|
2023-07-06
|
2023-07-06
|
|
| 386 |
GenMP behaviour with implications |
unplanned |
open |
Guillaume Verdier
|
2023-06-12
|
2023-06-12
|
|
| 384 |
Inference rules for bounds |
3.9 |
open |
Guillaume Verdier
|
2023-04-11
|
2023-04-11
|
|
| 381 |
Make explorer extensible |
unplanned |
open |
|
2023-02-01
|
2023-02-01
|
|
| 380 |
Contradiction with set membership |
unplanned |
open |
|
2023-01-23
|
2023-01-23
|
|
| 379 |
Extend reasoners on set extensions to partitions |
unplanned |
open |
|
2023-01-23
|
2023-01-23
|
|
| 378 |
Quick fix for undeclared identifiers |
unplanned |
open |
|
2023-01-06
|
2023-01-06
|
|
| 375 |
Allow operator overloading |
unplanned |
open |
|
2022-10-14
|
2022-10-14
|
|
| 374 |
Add string literals to parser |
unplanned |
open |
|
2022-10-14
|
2022-10-14
|
|
| 373 |
Tactic to generate equality PO when goal and hypothesis match |
unplanned |
open |
|
2022-09-12
|
2022-11-09
|
|
| 370 |
HiDPI icons |
3.9 |
open |
Guillaume Verdier
|
2022-08-30
|
2023-04-11
|
|
| 369 |
Hide hypotheses by pattern |
unplanned |
open |
Guillaume Verdier
|
2022-08-30
|
2022-08-30
|
|
| 366 |
Apply case analysis to arbitrary expression |
unplanned |
open |
|
2022-03-16
|
2022-11-09
|
|
| 364 |
Infer existential from set cardinal |
unplanned |
open |
|
2022-01-11
|
2022-11-09
|
|
