Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/jonhanke

Badges

Overview
Ranks
Repositories
Languages

Jonathan Hanke

@jonhanke

🇺🇸 New York, NY

Hanke Enterprises

Profile age: about 13 years

Updated 8 days ago

18 followers • 7 following

Contacts

http://jonhanke.com

Repositories

quadratic_forms_in_lean

8

1

updated 4 months ago • age 6 months

Lean100.0%

1

0

updated over 9 years ago • age over 10 years

Python58.4%

C++40.3%

C0.9%

Shell0.2%

Makefile0.2%

comparing_and_formalizing_quadratic_and_bilinear_objects

0

0

updated 3 months ago • age 3 months

Lean100.0%

0

0

updated 9 days ago • age 23 days

Jupyter Notebook68.5%

Python31.5%

Contributions

2025
lmfdb
1 PR +33-2
Python
276
224
2