This is your work, valued
Ethics. I.I-XI of Spinoza's Ethics, formalized in Coq
tesc. TESC proof format for first-order ATPs
blanc. Minimal EVM Language for Interactive Verification
