P’ar Aed
Writing |
Poems |
About |
Search |
RSS |
Tag #coq
========
A Formalization of the Boole-Schröder Algebra in Coq
07-25-2025