formulaci good first issues (Python)

coverage: a modular evaluator for `a \equiv b \pmod n` (5,306 formulas) 4 days ago

help wanted good first issue coverage help-wanted good-first-issue

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

coverage: cheap, precise skips for sets, tuples, words and empty sides (~33,000 relations) 4 days ago

good first issue coverage good-first-issue tier-C

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

coverage: read series and products written with an ellipsis (9,676 relations, 3,031 pages) 4 days ago

help wanted coverage help-wanted tier-A

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

coverage: typed vectors and matrices (dot and cross products, transpose, norms, inner products; ~24,000 relations) 4 days ago

help wanted coverage help-wanted tier-A

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

coverage: evaluate identities between explicit matrices (9,106 relations, 1,831 pages) 4 days ago

help wanted coverage help-wanted tier-A

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

coverage: tell a label superscript from a power instead of refusing the whole formula (11,979 relations) 4 days ago

help wanted coverage help-wanted tier-B

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

coverage: use a page's own definitions to make later formulas checkable (50,850 definitions, 27,052 undefined functions) 4 days ago

help wanted coverage help-wanted tier-B

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

coverage: supply bounds for `\sum_i` from the prose (6,698 relations, 2,101 pages) 4 days ago

help wanted coverage help-wanted tier-B

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

coverage: moments of named distributions (4,767 relations; the `probability` tag) 4 days ago

help wanted coverage help-wanted tier-B

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

review: judge the 756 INCONCLUSIVE verdicts from the second pass 4 days ago

help wanted help-wanted review no-code

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

extract: run the pipeline on German, French, Russian or Chinese Wikipedia 4 days ago

help wanted help-wanted extract

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

wikipedia: submit the 36 confirmed corrections 4 days ago

help wanted help-wanted no-code wikipedia

nani1902/formulaci

0

A test suite for human knowledge: machine-verifying Wikipedia's formulas and clinical calculators

Python

#computer-algebra#fact-checking#formal-verification#mathematics#mcp-server#sympy#wikipedia

nani1902/formulaci

Open Issues Need Help