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