A Lean 4 library for machine-checkable models of biblical Messianic arguments
Lean Updated about 2 months ago 1 commits 1 stars
zenith-bot|Mirror: testimonyproject/testimony (⭐1)
about 2 months agoAbout
A Lean 4 library for machine-checkable models of biblical Messianic arguments
Readme
1 stars