Pantograph

Pipe data extraction functions to file

#204 opened 2025-05-06 09:19:14 -07:00 by aniva 0.3.2

Pickle proof object

category

feature

#203 opened 2025-05-05 08:05:15 -07:00 by aniva 0.3.2

Condition Unification

category

feature

part/Goal

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

Documentation about safety

category

doc

part/Frontend

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

Code generation of recursors

1

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

Use non-computable section by default

category

feature

part/Goal

1

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

Unshielded Tactic

category

feature

part/Goal

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

Implement MonadBacktrack for MainM and backtrack goal states as well

#180 opened 2025-03-29 12:42:09 -07:00 by aniva 0.3.2

Recursive Functions and Termination Proofs

1

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

Pickle environment extensions

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

Branch unification

2

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

One stop env.add

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

goal.delete exceeds max recursion depth

1

#104 opened 2024-10-03 15:49:01 -07:00 by aniva

Use MLList from Batteries

1

#98 opened 2024-09-08 13:39:37 -07:00 by aniva

Add option for Meta.ppGoal

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

Labels Milestones