Issues - Pantograph - git.leni.sh

New Issue

Condition Unification

#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 0.4.0

Use non-computable section by default

#190 opened 2025-04-14 16:01:57 -07:00 by aniva 0.4.0

Unshielded Tactic

#188 opened 2025-04-12 00:16:37 -07:00 by aniva 0.4.0

Recursive Functions and Termination Proofs

#170 opened 2025-02-25 17:07:56 -08:00 by aniva 0.4.0

Pickle environment extensions

part/Environment

#137 opened 2024-12-08 16:11:48 -08:00 by aniva 0.4.0

Branch unification

#132 opened 2024-12-05 15:34:19 -08:00 by aniva 0.4.0

One stop env.add

part/Environment

#117 opened 2024-10-22 11:02:32 -07:00 by aniva

Add option for Meta.ppGoal

#78 opened 2024-06-10 13:03:06 -07:00 by aniva 0.4.0