2024-10-21T14:53:50Z - 2024-11-21T15:53:50Z

Period: 1 month

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

6 Active Pull Requests

4 Active Issues

5
Merged Pull Requests 1
Proposed Pull Request 1
Closed Issue 3
New Issues

Excluding merges, 1 author has pushed 2 commits to dev and 16 commits to all branches. On dev, 2 files have changed and there have been 193 additions and 677 deletions.

1 Release published by 1 user

Published v0.2.20 2024-11-15 21:19:34 -08:00

5 Pull requests merged by 1 user

Merged #120 feat: State and environment pickling 2024-11-15 23:10:34 -08:00

Merged #121 chore: Update lean4-nix to mainline 2024-11-15 17:44:02 -08:00

Merged #115 chore: Update Lean4 upstream to unofficial flake 2024-11-15 14:40:48 -08:00

Merged #119 feat: Extract used constants from invocation 2024-11-10 21:29:35 -08:00

Merged #116 doc: Change license to Apache2 2024-10-21 10:14:40 -07:00

1 Pull request proposed by 1 user

Proposed #123 doc: Design Rationale Document 2024-11-15 23:37:07 -08:00

1 Issue closed from 1 user

Closed #118 Used constant for tactic info extraction 2024-11-13 17:01:06 -08:00

3 Issues created by 1 user

Opened #117 One stop env add 2024-10-22 11:02:32 -07:00

Opened #122 Mathlib4 Parsing Error 2024-11-15 23:11:50 -08:00

Opened #124 Erase macro scopes in sexp binders 2024-11-19 01:29:10 -08:00

3 Unresolved Conversations

Open #95 Pickling 2024-11-19 01:29:35 -08:00

Open #114 Incremental and intercepted parsing of Lean code 2024-10-21 11:25:45 -07:00

Open #104 goal.delete exceeds max recursion depth 2024-10-21 11:22:57 -07:00