1 search result for "tag:"category:Mathematics/Logic/Classical logic""
Showing 1 - 1
-
coq-mathcomp-classical
No documentation
A library for classical logic for mathematical components1.8.0CECILL-CUsed by 2 other packages19 Dec 2024