d-flex flex-column width-full">

formal: add project/limit semantics and redundant-project theorem

9106010

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Documentation on: pull_request 1

Build Documentation

Type Coverage on: pull_request 1

Check Type Coverage

Documentation on: pull_request 1

Check Documentation Coverage

Benchmarks on: pull_request 1

Performance Benchmarks (Python 3.10)

Lines of Code on: pull_request 1

Count Lines of Code

Documentation Examples Validation on: pull_request 1

validate-docs-examples

Examples CI on: pull_request 2

run-examples (3.9)

run-examples (3.11)

Code Quality on: pull_request 1

Lint and Format Check

Fuzzing on: pull_request 1

Property-Based Tests

Tests on: pull_request 22

test (ubuntu-latest, 3.9)

test (ubuntu-latest, 3.10)

test (ubuntu-latest, 3.11)

test (ubuntu-latest, 3.12)

test (ubuntu-latest, 3.13)

test (macos-latest, 3.10)

test (macos-latest, 3.11)

test (macos-latest, 3.12)

test (macos-latest, 3.13)

test (windows-latest, 3.10)

test (windows-latest, 3.11)

test (windows-latest, 3.12)

test (windows-latest, 3.13)

Test with minimal dependencies (Python 3.9)

Nightly Metamorphic Tests

Optional features smoke (Python 3.11)

Coverage (Python 3.11)

Quickstart Examples Validation on: pull_request 3

validate-quickstart (3.8)

validate-quickstart (3.10)

validate-quickstart (3.12)

Property-Based Tests on: pull_request 7

property-tests (ubuntu-latest, 3.9)

property-tests (ubuntu-latest, 3.10)

property-tests (ubuntu-latest, 3.11)

property-tests-slow

Property tests with minimal dependencies

Formal Verification on: pull_request 1

crosshair

Test Count on: pull_request 1

Count Test Functions

Lean formal verification on: pull_request 1

lean-build

formal: add project/limit semantics and redundant-project theorem

Uh oh!

Select a check to view from the sidebar