2024-12-22T13:40:06Z - 2025-01-22T13:40:06Z
Overview
1 Release published by 1 user
Published
v0.2.24
9 Pull requests merged by 1 user
Merged
#158 feat: Draft tactic REPL interface
Merged
#156 chore: Update version to 0.2.25
Merged
#134 chore: Update Lean to v4.15.0
Merged
#153 feat: Draft tactic
Merged
#155 chore: Update version
Merged
#152 fix: Incorrect binder capture
Merged
#154 feat: Add source location extraction
Merged
#149 feat: Simplify sexp printing
Merged
#148 fix: Unnecessary instantiation call
3 Pull requests proposed by 1 user
Proposed
#157 feat: Pickle constants in goal state
Proposed
#159 feat: Module reading functions
Proposed
#161 fix: Panic in exprProjToApp
2 Issues closed from 1 user
Closed
#127 Drafting tactic in goals
Closed
#150 Allow LSP-like behaviour of finding definition location via symbol
2 Issues created by 1 user
Opened
#160 Projection conversion function panics
Opened
#162 Take generated constants into account
3 Unresolved Conversations
Open
#136
chore: Version 0.3
Open
#137
Pickle environment extensions
Open
#142
Pickle new constants generated in proof state