1 search result for "author:"Benjamin Peters""
Showing 1 - 1
-
coq-library-fol
No documentation
A Coq Library for First-Order Logic1.0+8.20MITUsed by 0 other packages06 Feb 2025
No documentation