Jeremy Avigad

icon indicating a website link http://www.andrew.cmu.edu/user/avigad icon indicating an email [email protected]

icon company Carnegie Mellon University icon location Pittsburgh

Results 5 repositories owned by Jeremy Avigad

boole

30
Stars
3
Forks
30
Watchers

The Boole Interactive Reasoning Assistant

verified publisher icon avigad

lamr

109
Stars
29
Forks
109
Watchers

Logic and Mechanized Reasoning

verified publisher icon avigad

mathematics_in_lean_source

175
Stars
89
Forks
175
Watchers

Source code for the Mathematics in Lean tutorial.

verified publisher icon avigad

polya

34
Stars
6
Forks
34
Watchers

A heuristic procedure for proving inequalities

verified publisher icon avigad

qpf

36
Stars
7
Forks
36
Watchers

Datatypes as quotients of polynomial functors

verified publisher icon avigad