aniva/Pantograph
aniva/Pantograph
1
1
Fork 0
Code Issues 18 Pull requests 4 Projects Releases Packages Wiki Activity
Labels Milestones
New pull request
0 Open 24 Closed 24 All
Label
Clear labels
category
bug
category
chore
category
doc
category
feature
category
optimization
category
organization
part/Delation
part/Elab
part/Environment
part/FFI
part/Frontend
part/Goal
part/REPL
part/Serial
priority
high
priority
irrelevant
priority
low
priority
medium
priority
pending-measurement
Milestone
No milestone
Open milestones
v0.3.8
v0.4.0
Closed milestones
v0.2.4
v0.2.6
v0.2.7
v0.2.8
v0.2.9
v0.2.10
v0.2.12
v0.2.19
TACAS '25
v0.2.20
v0.2.21
v0.2.22
v0.2.23
v0.2.24
v0.2.25
v0.3
v0.3.1
v0.3.2
v0.3.3
v0.3.4
v0.3.5
v0.3.6
v0.3.7
Projects
Clear projects
Assignee
Clear assignees
No assignee
paperNeko
aniva
feat(frontend): Refactor function
category
feature
part/Frontend
part/REPL
priority
medium
1
#234 by aniva was merged 2025-07-22 09:19:41 -07:00
dev
v0.3.5
test(repl): MVar name mismatch fix
category
bug
part/Frontend
priority
medium
#227 by aniva was merged 2025-07-02 15:03:10 -07:00
dev
v0.3.4
feat(goal): Branch unification
category
feature
part/Goal
priority
medium
2
#217 by aniva was merged 2025-06-24 13:56:15 -07:00
dev
v0.3.3
fix(goal): Name generation not available due to context
category
bug
part/Goal
priority
medium
#174 by aniva was merged 2025-03-14 16:48:17 -07:00
dev
v0.3
chore: Version bump
category
chore
priority
medium
#168 by aniva was merged 2025-02-25 15:16:44 -08:00
dev
v0.3
chore: Update Lean to v4.15.0
category
organization
priority
medium
3
#134 by aniva was merged 2025-01-13 12:28:50 -08:00
dev
v0.2.25
chore: Update lean4-nix to mainline
category
organization
priority
medium
#121 by aniva was merged 2024-11-15 17:44:02 -08:00
dev
v0.2.20
doc: Change license to Apache2
category
doc
priority
medium
#116 by aniva was merged 2024-10-21 10:14:40 -07:00
dev
v0.2.20
feat: Error reporting in frontend
category
feature
part/Frontend
priority
medium
#107 by aniva was merged 2024-10-05 22:39:24 -07:00
dev
TACAS '25
doc: Add GPL License
category
doc
priority
medium
#96 by aniva was merged 2024-09-07 14:12:34 -07:00
dev
v0.3
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
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
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
v0.3
chore: Update Lean to v4.10.0-rc1
category
organization
priority
medium
#86 by aniva was merged 2024-07-06 21:37:30 -07:00
dev
refactor: Cleanup the congruence tactics
category
organization
priority
medium
#81 by aniva was merged 2024-06-23 13:35:36 -07:00
dev
v0.3
chore: Version bump to v4.8.0-rc1
category
organization
priority
medium
#75 by aniva was merged 2024-05-17 20:32:30 -07:00
dev
v0.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
feat: Print precursor rules in env/inspect
category
feature
part/Environment
priority
medium
#65 by aniva was merged 2024-04-11 15:35:15 -07:00
dev
v0.3
fix: Serialization of projection operators
category
bug
part/Serial
priority
medium
#64 by aniva was merged 2024-04-09 21:28:53 -07:00
dev
v0.3
fix: Auto bound implicit in elab
category
bug
part/Elab
priority
medium
#60 by aniva was merged 2024-04-06 22:04:32 -07:00
dev
v0.3