The opentheory tool processes higher order logic theory packages
-
Updated
Mar 21, 2023 - Standard ML
#
opentheory
Here are 4 public repositories matching this topic...
A purely functional higher order logic kernel
-
Updated
Jan 15, 2024 - Haskell
AUR package for opentheory (development version) (DISCONTINUED)
-
Updated
Feb 21, 2018 - Shell
Improve this page
Add a description, image, and links to the opentheory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the opentheory topic, visit your repo's landing page and select "manage topics."