2025-06-03T23:42:13Z - 2025-07-03T23:42:13Z
Overview
2 Releases published by 1 user
Published
v0.3.3
Published
v0.3.2
18 Pull requests merged by 1 user
Merged
#220 feat(frontend): Tomogram
Merged
#227 test(repl): MVar name mismatch fix
Merged
#223 chore: Update Lean to v4.21.0
Merged
#226 chore: Update version to v0.3.4
Merged
#224 doc: Remove constraint on pick_goal
Merged
#222 fix(goal): Unknown metavariable problem during fragment initialization
Merged
#221 feat(serial): Pickle environment delta's
Merged
#219 feat(goal): Add unshielded tactic execution mode
Merged
#217 feat(goal): Branch unification
Merged
#216 feat(serial): Robust environment extension pickling
Merged
#214 chore: Update Nix flake
Merged
#218 chore: Update version to 0.3.3
Merged
#215 fix: Use the correct unfold aux lemma
Merged
#209 chore: Update Lean to v4.20.1
Merged
#207 refactor: Use syntax tactic in unit test
Merged
#208 feat: Output tactic invocation data to file
Merged
#202 chore: Code cleanup
Merged
#205 chore: Update Lean to v4.19.0
2 Pull requests proposed by 1 user
Proposed
#211 test(repl): Long-running tests of REPL
Proposed
#228 fix(tactic): Erase finished calc goal
6 Issues closed from 1 user
Closed
#225 Could not load mathlib environment from saved file
Closed
#132 Branch unification
Closed
#188 Unshielded Tactic Execution
Closed
#104 goal.delete
exceeds max recursion depth
Closed
#204 Pipe data extraction functions to file
Closed
#206 Execute tactic syntax
2 Issues created by 1 user
Opened
#210 Test long-running behaviour of the REPL executable
Opened
#213 🖇️ Articulation and Syntax Processing
8 Unresolved Conversations
Open
#137
🖇️ Environment Delta Pickling
Open
#197
Goal dependency generation
Open
#191
Code generation of recursors
Open
#170
🖇️ Recursive Functions and Termination Proofs
Open
#203
Pickle proof object
Open
#117
One stop env.add
Open
#78
Add option for Meta.ppGoal
Open
#180
Implement MonadBacktrack
for MainM
and backtrack goal states as well