alectionary

alectionary/vibe-math

Mathematical evidence maps, open-problem research, and Lean formalizations

1 good first / help-wanted issue · Lean · last activity Oct 26, 2026

0 stars 0 forks 0 watchers Lean
View on GitHub
1 Open Issue Need Help Last updated: Oct 26, 2026

Open Issues Need Help

View All on GitHub
Help wanted: reliable archive-to-PDF retrieval and open-question indexing 8 days ago
enhancement help wanted
alectionary/vibe-math
0

Mathematical evidence maps, open-problem research, and Lean formalizations

Lean