Pantograph

2

#225 by aniva was closed 2025-07-02 15:27:55 -07:00

Goal duplication

category

bug

part/Goal

1

#192 by aniva was closed 2025-05-01 08:59:37 -07:00 0.3.1

Draft tactic hangs for some particular cases of have

2

#186 by aniva was closed 2025-04-09 00:21:52 -07:00 0.3

Take generated constants into account

2

#162 by aniva was closed 2025-01-31 13:16:42 -08:00 0.3

Projection conversion function panics

1

#160 by aniva was closed 2025-01-24 15:05:34 -08:00 0.2.25

Pickle new constants generated in proof state

1

#142 by aniva was closed 2025-01-24 15:05:54 -08:00 0.2.25

Mathlib4 Parsing Error

#122 by aniva was closed 2024-12-11 01:25:36 -08:00 0.2.22

goal.delete exceeds max recursion depth

2

#104 by aniva was closed 2025-06-18 21:15:52 -07:00

Metavariable not found bug with sorry collection

1

#103 by aniva was closed 2024-10-03 11:51:44 -07:00 TACAS '25 frontend/collect-holes

Resumption not taking type unification into account

1

#88 by aniva was closed 2024-09-02 19:43:22 -07:00 0.3 dev

Unclear error message

3

#77 by aniva was closed 2024-06-23 13:34:03 -07:00 0.3

Could not reference local context variables

1

#61 by aniva was closed 2024-04-06 21:55:20 -07:00 goal/have-conv-calc

Use special handling to print compound names

category

bug

part/Serial

1

#22 by aniva was closed 2023-10-29 13:08:46 -07:00 0.2.7

Labels Milestones