0.2.25

New Issue

feat(goal): Draft tactic
fix(goal): Prohibit coupling in draft tactics and drafting
feat(serial): Pickle environment extensions in goal state
feat(environment): Reading module and import data
chore: Update Lean to ~~v4.14.0~~ v4.15.0
fix(delate): Panic of projection normalization function

2025-01-30

45% Completed

fix: Panic in exprProjToApp

#161 opened 2025-01-16 10:33:45 -08:00 by aniva

bug/expr-proj-to-app-panic

Projection conversion function panics

#160 opened 2025-01-16 08:41:08 -08:00 by aniva

feat: Module reading functions

part/Environment

#159 opened 2025-01-15 21:03:50 -08:00 by aniva

feat: Pickle constants in goal state

#157 opened 2025-01-13 12:44:40 -08:00 by aniva

Pickle new constants generated in proof state

#142 opened 2024-12-10 21:48:42 -08:00 by aniva

Pickle environment extensions

part/Environment

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