Joe Leslie-Hurd

icon indicating a website link http://www.gilith.com/

icon company Intel Corporation icon location Portland, OR, USA icon location Robot mathematician, probability plumber, chip monk, etc.

Results 2 repositories owned by Joe Leslie-Hurd

metis

28
Stars
1
Forks
Watchers

An automatic theorem prover for first order logic with equality

verified publisher icon gilith

opentheory

15
Stars
3
Forks
Watchers

The opentheory tool processes higher order logic theory packages

verified publisher icon gilith