Issues - aniva/Pantograph - git.leni.sh

aniva/Pantograph

New issue

Return match count in tracking check

#294 opened 2025-08-29 15:03:56 -07:00 by aniva

Numbered sorry capture

#278 opened 2025-08-14 12:30:48 -07:00 by aniva v0.3.8

Strip comments option in refactoring

#275 opened 2025-08-12 17:48:15 -07:00 by aniva

Tactic sequence partition function

#273 opened 2025-08-11 11:55:58 -07:00 by aniva

Add pristine environments and option to capture last environment without error

part/Environment

#270 opened 2025-08-06 17:05:56 -07:00 by aniva

🖇️ Articulation and Syntax Processing

#213 opened 2025-06-19 13:23:40 -07:00 by aniva v0.4.0

Pickle proof object

#203 opened 2025-05-05 08:05:15 -07:00 by aniva v0.4.0

Goal dependency generation

#197 opened 2025-04-24 08:45:23 -07:00 by aniva

Code generation of recursors

#191 opened 2025-04-14 16:23:38 -07:00 by aniva v0.4.0

Use non-computable section by default

#190 opened 2025-04-14 16:01:57 -07:00 by aniva v0.4.0

🖇️ Recursive Functions and Termination Proofs

#170 opened 2025-02-25 17:07:56 -08:00 by aniva v0.4.0

Add option for Meta.ppGoal

#78 opened 2024-06-10 13:03:06 -07:00 by aniva v0.4.0