4 search results for "author:"Alexander Bentkamp""
Showing 1 - 4
-
libzipperposition
No documentation
Library for Zipperposition2.1BSD-2-ClauseUsed by 2 other packages05 Sep 2021 -
logtk
No documentation
Core types and algorithms for logic2.1BSD-2-ClauseUsed by 3 other packages05 Sep 2021 -
zipperposition
No documentation
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021 -
zipperposition-tools
No documentation
Support tools for Zipperposition2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021