Search results

License should be Apache 2.0, not MIT

Status: Open.

#10 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026

Add CI workflow for tests and linting

Status: Open.

#9 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026

Use Field(default_factory=...) for mutable defaults in Lemma model

Status: Open.

#8 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026

Build documentation site on GitHub Pages

Status: Open.

#7 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026

Case study: hidden mathematical assumption causing a real-world bug

Status: Open.

#6 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026

Axiom set hashing is order-dependent despite docs claiming otherwise

Status: Open.

#5 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026

Lemma assumptions bypass axiom justification requirement

Status: Open.

#4 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026

INFERENCE lemmas are accepted without mechanical verification

Status: Open.

#3 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026

lyapunov_stability() does not verify P positive definite or Q positive semidefinite

Status: Open.

#2 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026

convex_hessian() uses wrong criterion for positive semidefiniteness

Status: Open.

#1 In BlockScience/sympy-proof;

· mzargham opened on Apr 10, 2026