There are 1 repository under higher-order-logic topic.
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.
The opentheory tool processes higher order logic theory packages
A tool for translating higher-order modal logic problems into classical higher-order logic
Using higher-order logic to copy JavaScript's "filter", "map" and "reduce" functions in Delphi.
A Proof Assistant for Philosophers
The Supervisionary proof-checking kernel for higher-order logic
Chad Brown’s Egal, a theorem prover for higher-order Tarski–Grothendieck set theory
Modélisation de concepts mathématiques et raisonnements sur ces derniers.
A graphical interactive proof assistant designed for education. My contributions: applying rules by elimination, proofs by induction, proofs by cases, multi-axiom element and misc css styling. Honours report grade: 76% :tada:
Theorem proving in Isabelle
DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems
Measure, Lebesgue and Probability Theory for HOL4 (experimental version)
Supervisionary: a proof-checking system for HOL
A theorem prover for proof-theoretic higher order modal logic