An attempt to encode the logical structure of Spinoza’s “Ethics” in the proof language Agda. The work is based on Jarrett, The logical structure of Spinoza's Ethics, Part I.
An attempt to encode the logical structure of Spinoza’s “Ethics” in the proof language Agda. The work is based on Jarrett, The logical structure of Spinoza's Ethics, Part I.