Last released Apr 9, 2024
Utilities for implementing logical representaions and reasoning systems
Last released Feb 17, 2024
KARaML Tools wrapper package
Last released Oct 2, 2023
Colab wrapper for the Prover9 theorem prover
Last released Sep 27, 2023
Brandon's test package
Supported by