2024-12-22T13:40:06Z - 2025-01-22T13:40:06Z

Overview

12 Active Pull Requests
4 Active Issues
Excluding merges, 1 author has pushed 2 commits to dev and 26 commits to all branches. On dev, 1 file has changed and there have been 2 additions and 2 deletions.

1 Release published by 1 user

Published v0.2.24 2025-01-10 17:10:27 -08:00

9 Pull requests merged by 1 user

Merged #158 feat: Draft tactic REPL interface 2025-01-16 10:32:48 -08:00

Merged #156 chore: Update version to 0.2.25 2025-01-13 12:29:12 -08:00

Merged #134 chore: Update Lean to v4.15.0 2025-01-13 12:28:50 -08:00

Merged #153 feat: Draft tactic 2025-01-13 10:22:36 -08:00

Merged #155 chore: Update version 2025-01-10 17:08:19 -08:00

Merged #152 fix: Incorrect binder capture 2025-01-10 12:49:15 -08:00

Merged #154 feat: Add source location extraction 2025-01-10 12:47:36 -08:00

Merged #149 feat: Simplify sexp printing 2025-01-07 17:31:30 -08:00

Merged #148 fix: Unnecessary instantiation call 2025-01-07 17:31:09 -08:00

3 Pull requests proposed by 1 user

Proposed #157 feat: Pickle constants in goal state 2025-01-13 12:44:40 -08:00

Proposed #159 feat: Module reading functions 2025-01-15 21:03:50 -08:00

Proposed #161 fix: Panic in exprProjToApp 2025-01-16 10:33:45 -08:00

2 Issues closed from 1 user

Closed #127 Drafting tactic in goals 2025-01-13 11:33:21 -08:00

Closed #150 Allow LSP-like behaviour of finding definition location via symbol 2025-01-10 12:49:46 -08:00

2 Issues created by 1 user

Opened #160 Projection conversion function panics 2025-01-16 08:41:08 -08:00

Opened #162 Take generated constants into account 2025-01-18 12:16:49 -08:00

3 Unresolved Conversations

Open #136 chore: Version 0.3 2025-01-16 10:32:50 -08:00

Open #137 Pickle environment extensions 2025-01-13 12:45:16 -08:00

Open #142 Pickle new constants generated in proof state 2025-01-13 12:45:10 -08:00