opentheory

There are 0 repository under opentheory topic.

• gilith / opentheory

  The opentheory tool processes higher order logic theory packages

  opentheorysmlholhigher-order-logic
  Language:Standard ML 15

• gilith / hol

  A purely functional higher order logic kernel

  holhaskellhigher-order-logicopentheory
  Language:Haskell 11

• larsrh / aur-opentheory

  AUR package for opentheory (DISCONTINUED)

  aurpkgbuildopentheory
  Language:Shell

• larsrh / aur-opentheory-git

  AUR package for opentheory (development version) (DISCONTINUED)

  aurpkgbuildopentheory
  Language:Shell