Jeremy Avigad (@avigad)
github

avigad

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    302
  • Global Rank 88,313 (Top 4 %)
  • Followers 164
  • Registered almost 12 years ago
  • Most used languages
    Lean     57.1 %
    TeX
         14.3 %
    Python
         14.3 %
    Ruby
         7.1 %
    Isabelle     7.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 26,207
  • Country Ranking
    Isabelle     2
    Lean     2
    TeX
         1,729
    Ruby
         7,256

Top repositories

1

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.
Lean
81
star
2

lamr

Logic and Mechanized Reasoning
Lean
81
star
3

qpf

Datatypes as quotients of polynomial functors
Lean
33
star
4

polya

A heuristic procedure for proving inequalities
Python
31
star
5

boole

The Boole Interactive Reasoning Assistant
Python
26
star
6

formal_methods_in_education

A web page with resources for teaching with formal methods and tools.
Ruby
13
star
7

arwm

Automated Reasoning for the Working Mathematician
Isabelle
11
star
8

isabelle

working directory for Isabelle proof scripts
TeX
5
star
9

verification_demo

A temporary repository
Lean
3
star
10

auto

A tableau prover for Lean
Lean
2
star
11

qelim

Quantifier elimination by computational reflection in Lean
Lean
2
star
12

programming_in_lean

TeX
1
star
13

library_dev

Lean standard library (development)
Lean
1
star
14

formal_logic

A formalization of formal logic in Lean
Lean
1
star