| 62 |
Keyboard symbols |
Theory 5.0 |
open |
|
2025-03-05
|
2025-03-05
|
|
| 61 |
Parameterized tactic for proof rules |
Later |
open |
|
2025-01-15
|
2025-01-15
|
|
| 60 |
Guards in cases of recursive operators |
Later |
open |
|
2024-12-20
|
2025-01-06
|
|
| 59 |
PO for case completeness of recursive operator |
Later |
open |
Guillaume Verdier
|
2024-12-20
|
2024-12-20
|
|
| 58 |
Using matched argument in definition of recursive operator |
Theory 5.0 |
open |
Guillaume Verdier
|
2024-12-20
|
2025-01-06
|
|
| 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
|
|
