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 37 Closed 37 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
chore: Update version to v0.3.8
category
organization
#290 by aniva was merged 2025-08-26 13:47:28 -07:00
dev
v0.3.8
build: Use lean4-nix's lean output directly
category
organization
#282 by aniva was merged 2025-08-17 11:47:15 -07:00
dev
v0.3.7
test(goal): Move all Test.Tactic.Special tests into Test.Proofs.
category
organization
part/Goal
#281 by aniva was merged 2025-08-16 14:07:23 -07:00
dev
v0.3.7
chore: Update version
category
organization
#276 by aniva was merged 2025-08-16 14:08:53 -07:00
dev
v0.3.7
chore: Update version
category
organization
#259 by aniva was merged 2025-08-04 10:37:42 -07:00
dev
v0.3.6
fix(frontend): Tomograph compilation
category
organization
part/Frontend
#235 by aniva was merged 2025-07-11 19:44:25 -07:00
dev
v0.3.4
chore: Update version to v0.3.4
category
organization
#226 by aniva was merged 2025-07-02 14:59:21 -07:00
dev
v0.3.4
chore: Update version to 0.3.3
category
organization
#218 by aniva was merged 2025-06-20 12:35:00 -07:00
dev
v0.3.3
chore: Update version to 0.3.2
category
organization
#212 by aniva was closed 2025-06-19 13:12:11 -07:00
dev
v0.3.2
chore: Update Lean to v4.20.1
category
organization
1
#209 by aniva was merged 2025-06-18 16:39:19 -07:00
dev
v0.3.2
chore: Update version
category
organization
#195 by aniva was merged 2025-05-01 10:41:48 -07:00
dev
v0.3.1
chore: Update Lean to v4.18.0
category
organization
#185 by aniva was merged 2025-04-08 10:59:54 -07:00
dev
v0.3
chore: Update Lean to v4.17.0, version to v0.3
category
organization
#178 by aniva was merged 2025-03-24 18:05:25 -07:00
dev
v0.3
chore: Update version to 0.2.25
category
organization
#156 by aniva was merged 2025-01-13 12:29:12 -08:00
dev
v0.2.25
chore: Update version
category
organization
#155 by aniva was merged 2025-01-10 17:08:19 -08:00
dev
v0.2.24
chore: Update version
category
organization
#146 by aniva was merged 2024-12-11 16:47:54 -08:00
dev
v0.2.23
chore: Add aarch64 build targets to flake
category
organization
#143 by aniva was merged 2024-12-11 00:30:19 -08:00
dev
v0.2.22
chore: Update version
category
organization
#140 by aniva was merged 2024-12-09 21:43:04 -08:00
dev
v0.2.22
chore: Version 0.3
category
organization
#136 by aniva was merged 2025-04-09 00:23:19 -07:00
main
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