@hackage hol1.0

Higher order logic

  • Categories

    • License

      MIT

    • Maintainer

      Joe Leslie-Hurd <joe@gilith.com>

    • Links

    • Versions

      • 1.4 Mon, 8 Aug 2022
      • 1.3 Sat, 4 Nov 2017
      • 1.2 Tue, 3 Oct 2017
      • 1.1 Thu, 24 Aug 2017
      • 1.0 Fri, 7 Apr 2017

    This package implements a higher order logic kernel.