2 ms·
(Much aware of the SW-arch context btw) This could motivate an algebraic-theological def for Love: "The Creator cannot be decoupled from His [Software (sorry*
by gsf_emergency_6 9mo ago
(Much aware of the SW-arch context btw)
This could motivate an algebraic-theological def for Love:
"The Creator cannot be decoupled from His [Software (sorry*)] Creations"
*As in Lean4 syntax, perhaps
https://proofassistants.stackexchange.com/questions/4541/lean4-usage-for-sorry-vs-admit https://proofassistants.stackexchange.com/questions/4541/lea...