higher-order-logic

Star

Here are 25 public repositories matching this topic...

Language:All

Filter by language

All25 Standard ML4 Haskell3 OCaml2 Python2 Rust2 C++1 Clojure1 Isabelle1 Java1 Lean1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

HOL-Theorem-Prover /HOL

Star696

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

lambda-calculus theorem-proving higher-order-logic

UpdatedNov 4, 2025
Standard ML

acharal /hopes

Star53

Higher Order Prolog with Extensional Semantics

interpreter prolog logic-programming hopes higher-order-logic

UpdatedJul 24, 2020
Haskell

leoprover /Leo-III

Star50

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

logic theorem-proving atp higher-order-logic reasoning deduction-system

UpdatedOct 23, 2025
Scala

nyuichi /LeanHOL

Star22

super tiny implementation of higher-order logic proof assistant in lean

proof-assistant lean higher-order-logic

UpdatedSep 29, 2019
Lean

gilith /opentheory

Star16

The opentheory tool processes higher order logic theory packages

sml higher-order-logic hol opentheory

UpdatedMar 21, 2023
Standard ML

gilith /hol

Star14

A purely functional higher order logic kernel

haskell higher-order-logic hol opentheory

UpdatedJan 15, 2024
Haskell

p-samuel /anonymous-methods

Star7

Using higher-order logic to copy JavaScript's "filter", "map" and "reduce" functions in Delphi.

javascript map delphi pascal filter anonymous-functions find reduce higher-order-functions higher-order-logic delphi10 foreach-loop

UpdatedDec 5, 2024
Pascal

Phuire-Research /Stratimux

Sponsor

Star7

Logical Asynchronous Graph Programming Framework

nodejs typescript rxjs functional-programming concepts logic reactive-programming behavior-tree higher-order-functions finite-state-machine higher-order-logic data-oriented expert-system goal-oriented-action-planning logical-programming utility-ai graph-programming logical-conceptualism higher-order-composition higher-order-type-system

UpdatedNov 2, 2025
TypeScript

andrewppar /logos

Star6

A Proof Assistant for Philosophers

logic philosophy proof-assistant higher-order-logic philosophical-logic

UpdatedNov 10, 2024
Clojure

binghe /HOL-CCS

Star6

Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)

concurrency process-algebra higher-order-logic

UpdatedOct 27, 2021
TeX

leoprover /embed_modal

Star5

A tool for translating higher-order modal logic problems into classical higher-order logic

higher-order-logic modal-logic

UpdatedJan 19, 2021
Python

veracruz-project /supervisionary

Star4

The Supervisionary proof-checking kernel for higher-order logic

theorem-proving webassembly proof-assistant formal-methods formal-verification higher-order-logic theorem-prover privacy-enhancing-technologies lcf-style confidential-computing veracruz

UpdatedMay 11, 2022
Rust

mmottl /fun-trans

Star2

A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.

monads prolog higher-order-logic program-transformations