0.4.0

New Issue

feat: Branch unification
feat: Recursive function generation

2025-12-31

0% Completed

Documentation about safety

#196 opened 2025-04-23 05:50:17 -07:00 by aniva

Code generation of recursors

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

Use non-computable section by default

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

Unshielded Tactic

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

Recursive Functions and Termination Proofs

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

Pickle environment extensions

part/Environment

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

Branch unification

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

Add option for Meta.ppGoal

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