| 57 |
Priority/precedence on operators |
Later |
open |
|
2024-01-22
|
2024-01-22
|
|
| 56 |
Reification of operators |
Later |
open |
|
2024-01-22
|
2024-01-22
|
|
| 54 |
Handling of type of operator arguments |
Later |
open |
|
2023-10-25
|
2023-10-25
|
|
| 53 |
Enable previous proof rules when proving a proof rule |
Later |
open |
|
2023-09-06
|
2023-09-06
|
|
| 52 |
Recursive deployment of theories |
Later |
open |
|
2023-08-25
|
2023-08-25
|
|
| 51 |
Add viewer for .dtf |
Later |
open |
|
2023-08-25
|
2023-08-25
|
|
| 50 |
Bugs with “Back” in theorem instantiation |
Theory 5.0 |
open |
Guillaume Verdier
|
2023-08-22
|
2023-08-22
|
|
| 49 |
Type parameters hidden in definitions |
Theory 5.0 |
open |
Guillaume Verdier
|
2023-08-22
|
2023-08-22
|
|
| 48 |
Use induction schemas in recursive operators |
Later |
open |
|
2023-06-12
|
2023-06-12
|
|
| 47 |
Content of axiomatic blocks not escaped properly in HTML view |
Theory 5.0 |
open |
Guillaume Verdier
|
2023-05-31
|
2023-06-01
|
|
| 46 |
Name of elements saved in a language |
Later |
open |
|
2022-07-20
|
2022-07-20
|
|
| 45 |
WD condition of user-provided WD condition |
Later |
open |
|
2022-03-25
|
2022-03-25
|
|
| 41 |
PO for associative or commutative recursive operators |
Later |
open |
|
2022-03-18
|
2022-03-18
|
|
| 36 |
Error handling of name conflicts in type parameters |
Theory 5.0 |
open |
Guillaume Verdier
|
2022-03-08
|
2022-05-31
|
|
| 34 |
Case completeness of rewrite rules does not consider WD conditions |
Theory 5.0 |
open |
|
2022-01-11
|
2022-01-11
|
|
| 33 |
Support proof replay after renaming proof rules |
Theory 5.0 |
open |
|
2022-01-11
|
2022-01-11
|
|
| 31 |
Contribute to Statistics view |
Theory 5.0 |
open |
|
2021-07-23
|
2021-07-23
|
|
| 29 |
Order of elements in a theory |
Theory 5.0 |
open |
|
2021-06-25
|
2021-06-25
|
|
| 28 |
Well-definedness condition on constructors |
Theory 5.0 |
open |
|
2021-06-25
|
2021-06-25
|
|
| 27 |
Deployed status updater job not stopped on shutdown |
Later |
open |
Guillaume Verdier
|
2021-06-04
|
2021-06-04
|
|
| 23 |
Theory references updating during renaming |
Later |
open |
|
2020-12-23
|
2020-12-23
|
|
| 19 |
Theorems not added as hypotheses of next theorems |
Later |
open |
|
2020-12-09
|
2020-12-23
|
|
| 15 |
Automatic rewrite rules application |
Later |
open |
|
2020-10-07
|
2020-11-30
|
|
| 13 |
Proofs lost on theory or TheoryPath change |
Later |
open |
|
2020-10-05
|
2020-11-30
|
|
| 9 |
All operators can be proved associative in the theories plugin even the ones that aren't |
Later |
open |
|
2016-11-08
|
2020-11-30
|
|
