Beneficial-AI-Foundation

Beneficial-AI-Foundation/deductive-vericoding

Tactics-driven vericoding

7 stars 0 forks 7 watchers Lean

2 Open Issues Need Help Last updated: Jul 2, 2026

Open Issues Need Help

View All on GitHub

Go through Shaowei's slides on Refine yourself a code for great good! about 4 hours ago

good first issue

Beneficial-AI-Foundation/deductive-vericoding

7

Tactics-driven vericoding

Lean

Reorganization of repo about 4 hours ago

enhancement good first issue

Beneficial-AI-Foundation/deductive-vericoding

7

Tactics-driven vericoding

Lean