Pantograph

Return match count in tracking check

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

Draft tactic captures value of have

category

bug

part/Goal

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

Draw new logo

category

doc

#288 opened 2025-08-20 21:24:39 -07:00 by aniva v0.4.0

Add pre-commit hooks to the project

category

organization

#284 opened 2025-08-17 22:21:52 -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

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

Fallback when delaboration fails

#249 opened 2025-07-23 15:12:54 -07:00 by aniva

Potential memory leak in CompactedRegion

1

#243 opened 2025-07-13 22:59:47 -07:00 by aniva v0.4.0

🖇️ Articulation and Syntax Processing

category

feature

part/Frontend

2

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

Test long-running behaviour of the REPL executable

category

optimization

part/REPL

#210 opened 2025-06-17 10:30:04 -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

category

feature

part/Goal

2

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

Code generation of recursors

1

#191 opened 2025-04-14 16:23:38 -07:00 by aniva v0.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 v0.4.0

🖇️ Recursive Functions and Termination Proofs

category

feature

part/Goal

3

#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