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