2024-11-14T09:10:37Z - 2024-11-21T09:10:37Z

Period: 1 week

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

Overview

4 Active Pull Requests

2 Active Issues

3
Merged Pull Requests 1
Proposed Pull Request 0
Closed Issues 2
New Issues

Excluding merges, 1 author has pushed 1 commit to dev and 6 commits to all branches. On dev, 1 file has changed and there have been 3 additions and 3 deletions.

1 Release published by 1 user

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

3 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

1 Pull request proposed by 1 user

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

2 Issues created by 1 user

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

1 Unresolved Conversation

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