gilith

Joe Leslie-Hurd's repositories

An automatic theorem prover for first order logic with equality

Language:Standard MLMIT28 1 11

The opentheory tool processes higher order logic theory packages

Language:Standard MLMIT15 2 10

A purely functional higher order logic kernel

Language:HaskellMIT11 20

HOL Light with OpenTheory Support

Language:OCamlNOASSERTION5 20

Specialized hardware to open the crypto timelock puzzle

Language:Verilog4 20

Factoring integers and polynomials

Language:HaskellMIT3 1 2

Natural number arithmetic

Language:HaskellMIT000

Solving two-player games

Language:HaskellMIT010

Simple Emacs Lisp macros to support interactive proof in HOL Light

Language:Emacs LispMIT010