fraware

fraware/MathEvidence

Open computational evidence infrastructure for Lean.

1 stars 0 forks 1 watchers Python Apache License 2.0

3 Open Issues Need Help Last updated: Jul 22, 2026

Open Issues Need Help

View All on GitHub

Audit v0.3.0-rc.1 about 2 hours ago

help wanted

fraware/MathEvidence

1

Open computational evidence infrastructure for Lean.

Python

Add one adversarial certificate case about 2 hours ago

help wanted good first issue

fraware/MathEvidence

1

Open computational evidence infrastructure for Lean.

Python

Replay the rational-equality bundle independently about 2 hours ago

help wanted good first issue

fraware/MathEvidence

1

Open computational evidence infrastructure for Lean.

Python