Open Issues Need Help
View All on GitHub Literate sources: blocked on tooling 7 days ago
enhancement help wanted roadmap
A Lean 4 library for machine-checkable models of biblical Messianic arguments
Lean
#apologetics#biblical-studies#digital-humanities#formal-methods#formal-verification#formalization#lean4#proof-assistant#theology#theorem-proving
Complete the Old Testament Book enumeration 7 days ago
enhancement good first issue roadmap
A Lean 4 library for machine-checkable models of biblical Messianic arguments
Lean
#apologetics#biblical-studies#digital-humanities#formal-methods#formal-verification#formalization#lean4#proof-assistant#theology#theorem-proving