Skip to content

System for algebraic reasoning about linear alegbra#2032

Open
jessegrabowski wants to merge 10 commits intopymc-devs:v3from
jessegrabowski:assumption-system
Open

System for algebraic reasoning about linear alegbra#2032
jessegrabowski wants to merge 10 commits intopymc-devs:v3from
jessegrabowski:assumption-system

Commits

Commits on Apr 11, 2026