Pantograph

Erase macro scopes in sexp binders

category

feature

#124 opened 2024-11-19 01:29:10 -08:00 by aniva

Mathlib4 Parsing Error

#122 opened 2024-11-15 23:11:50 -08:00 by aniva 0.3

One stop env add

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

Incremental and intercepted parsing of Lean code

category

feature

part/Frontend

1

#114 opened 2024-10-13 17:50:45 -07:00 by aniva

goal.delete exceeds max recursion depth

1

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

Timeout for tactics

category

feature

part/Goal

#102 opened 2024-09-09 23:49:44 -07:00 by aniva

Use MLList from Batteries

1

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

Pickling

1

#95 opened 2024-09-06 22:38:16 -07:00 by aniva 0.2.21

Add option for Meta.ppGoal

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

Labels Milestones