gilith

Robot mathematician, probability plumber, chip monk, etc.

Intel CorporationPortland, OR, USA

Pinned Repositories

arithmetic
Natural number arithmetic
Language:Haskell0 0 00
factor
Factoring integers and polynomials
Language:Haskell3 1 20
hol
A purely functional higher order logic kernel
Language:Haskell11 2 01
hol-light
HOL Light with OpenTheory Support
Language:OCaml5 2 01
metis
An automatic theorem prover for first order logic with equality
Language:Standard ML28 1 111
opentheory
The opentheory tool processes higher order logic theory packages
Language:Standard ML15 2 103
solve
Solving two-player games
Language:Haskell0 1 00
timelock
Specialized hardware to open the crypto timelock puzzle
Language:Verilog4 2 00

gilith's Repositories

gilith/metis
An automatic theorem prover for first order logic with equality
Language:Standard ML28 1 111
gilith/opentheory
The opentheory tool processes higher order logic theory packages
Language:Standard ML15 2 103
gilith/hol
A purely functional higher order logic kernel
Language:Haskell11 2 01
gilith/hol-light
HOL Light with OpenTheory Support
Language:OCaml5 2 01
gilith/timelock
Specialized hardware to open the crypto timelock puzzle
Language:Verilog4 2 00
gilith/factor
Factoring integers and polynomials
Language:Haskell3 1 20
gilith/arithmetic
Natural number arithmetic
Language:Haskell0 0 00
gilith/solve
Solving two-player games
Language:Haskell0 1 00
gilith/hol-light-emacs
Simple Emacs Lisp macros to support interactive proof in HOL Light
Language:Emacs Lisp1 0