Issues

• License should be Apache 2.0, not MIT

  DynamicalSystemsGroup/sympy-proof#10 · Filter by author mzargham opened on Apr 10, 2026

• Add CI workflow for tests and linting

  DynamicalSystemsGroup/sympy-proof#9 · Filter by author mzargham opened on Apr 10, 2026

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

  DynamicalSystemsGroup/sympy-proof#8 · Filter by author mzargham opened on Apr 10, 2026

• Build documentation site on GitHub Pages

  DynamicalSystemsGroup/sympy-proof#7 · Filter by author mzargham opened on Apr 10, 2026

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

  DynamicalSystemsGroup/sympy-proof#6 · Filter by author mzargham opened on Apr 10, 2026

• Axiom set hashing is order-dependent despite docs claiming otherwise

  DynamicalSystemsGroup/sympy-proof#5 · Filter by author mzargham opened on Apr 10, 2026

• Lemma assumptions bypass axiom justification requirement

  DynamicalSystemsGroup/sympy-proof#4 · Filter by author mzargham opened on Apr 10, 2026

• INFERENCE lemmas are accepted without mechanical verification

  DynamicalSystemsGroup/sympy-proof#3 · Filter by author mzargham opened on Apr 10, 2026

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

  DynamicalSystemsGroup/sympy-proof#2 · Filter by author mzargham opened on Apr 10, 2026

• convex_hessian() uses wrong criterion for positive semidefiniteness

  DynamicalSystemsGroup/sympy-proof#1 · Filter by author mzargham opened on Apr 10, 2026