Issues - aniva/Pantograph - git.leni.sh

aniva/Pantograph

New issue

Draft tactic captures value of have

#291 opened 2025-08-23 22:07:45 -07:00 by aniva

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