This website requires JavaScript.
Explore
Help
Sign In
aniva
/
Pantograph
Watch
1
Star
1
Fork
You've already forked Pantograph
0
Code
Issues
2
Pull Requests
Packages
Projects
Releases
1
Wiki
Activity
Labels
Milestones
New Pull Request
0 Open
13 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
category
bug
category
doc
category
feature
category
optimization
category
organization
part/Data
part/Environemnt
part/Goal
part/ParseElab
part/Serial
priority
high
priority
irrelevant
priority
low
priority
medium
Milestone
All milestones
No milestones
Open milestones
0.3
Closed milestones
0.2.4
0.2.6
0.2.7
0.2.8
0.2.9
0.2.10
0.2.12
Project
All projects
No project
Author
All authors
Assignee
All assignees
No assignee
aniva
Sort
Newest
Oldest
Recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
0 Open
13 Closed
Open
Label
Clear labels
category
bug
category
doc
category
feature
category
optimization
category
organization
part/Data
part/Environemnt
part/Goal
part/ParseElab
part/Serial
priority
high
priority
irrelevant
priority
low
priority
medium
Milestone
No milestone
Open milestones
0.3
Open milestones
0.2.4
0.2.6
0.2.7
0.2.8
0.2.9
0.2.10
0.2.12
Projects
Clear projects
Assignee
Clear assignees
No assignee
aniva
fix: Instantiate type when detecting
eq
category
bug
part/Goal
priority
medium
#91
by
aniva
was merged
2024-09-03 19:19:10 -07:00
dev
bug/eq-detection-in-congruence
fix: Bindings in prograde tactics
category
bug
part/Goal
priority
medium
#90
by
aniva
was merged
2024-09-03 18:15:58 -07:00
dev
bug/hidden-fvar-in-define
fix: Resume not taking type unification into account
category
bug
part/Goal
priority
medium
1
#89
by
aniva
was closed
2024-09-02 19:43:36 -07:00
dev
bug/resume-type-unification
0.3
feat: Prograde tactics
category
feature
part/Goal
1
#83
by
aniva
was merged
2024-08-31 20:04:39 -07:00
dev
tactic/eval
0.3
feat: Elementarized tactics with motives, congruence, and absurdity
category
feature
part/Goal
priority
medium
6
#72
by
aniva
was merged
2024-06-12 13:52:46 -07:00
dev
goal/mapply
feat: Option to collect dependent metavariables
category
feature
part/Goal
#69
by
aniva
was merged
2024-04-12 21:33:01 -07:00
dev
serial/goal
0.3
feat: Add support for the
have
,
conv
, and
calc
tactics
category
feature
part/Goal
#59
by
aniva
was merged
2024-04-11 15:36:20 -07:00
dev
goal/have-conv-calc
0.3
feat: Query arbitrary assignment in goal
category
feature
part/Goal
#47
by
aniva
was merged
2024-03-29 23:48:21 -07:00
dev
goal/relation
0.3
feat: Print parent expression assignment
category
feature
part/Goal
#45
by
aniva
was merged
2024-02-15 14:55:05 -08:00
dev
goal/relation
0.2.12
fix: Rectify error format
category
bug
part/Goal
#31
by
aniva
was merged
2023-11-25 14:26:48 -08:00
dev
misc/error
feat: Allow selective continuation of goals
category
feature
part/Goal
1
#27
by
aniva
was merged
2023-11-07 16:49:56 -08:00
dev
goal/continuation
0.2.8
Enable handling of m-Coupled goals
category
feature
part/Goal
priority
medium
1
#20
by
aniva
was merged
2023-10-27 19:30:20 -07:00
dev
goal/dependency
0.2.6
Simplify goal bookkeeping mechanism
category
optimization
part/Goal
1
#10
by
aniva
was merged
2023-08-30 19:18:37 -07:00
dev
tactic/book
0.2.4