d-flex flex-column width-full">

refactor(algebra): use Fintype sum zero criterion

5fd6d0e

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Cursor

Cursor Bugbot

Lint blueprint on: pull_request 13

Check blueprint compiles without errors

Issue Tracker on: pull_request 1

track

Claude Code Review (Lean) on: pull_request 2

claude-review-anthropic

claude-review-deepseek

Lean Action CI on: pull_request 1

build

PR Cleanup (bot-generated) on: pull_request 1

cleanup

Oversized Lean file guard on: pull_request

Check Lean file lengths

Blueprint Sync & Prose Review on: pull_request 1

blueprint-and-prose

DeepSeek Code (Lean) on: pull_request_review

deepseek

Claude Code (Lean) on: pull_request_review

claude

Auto Fix (Lean) on: pull_request

setup

auto-fix-ci

auto-fix-blueprint

auto-fix-review

DeepSeek Code (Lean) on: pull_request_review

deepseek

Claude Code (Lean) on: pull_request_review

claude

DeepSeek Code (Lean) on: pull_request_review

deepseek

Claude Code (Lean) on: pull_request_review

claude

Issue Tracker on: pull_request 1

track