Math Inc
San Francisco, CA
131
Followers
19
Following
41
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 15 owned repositories
2.7M
Total LOC
C++
956,650 lines
35.4%
N/A
Lean
564,761 lines
20.9%
N/A
Python
394,605 lines
14.6%
N/A
TeX
382,872 lines
14.2%
N/A
Haskell
219,193 lines
8.1%
N/A
Other
184,957 lines
6.8%
N/A
T
T-Shaped Developer
T-shapedDeep in C++ with broad versatility
C++
Lean
Python
TeX
Haskell
Collaboration Network
Global Impact visualization
Repos
59
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
3 days
1,536
Contributions
14
Commits
0
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
19 total
flypitch
@flypitch
Juan Reyero
@juanre
Thomas Hales
@thalesant
valexodamium
@valexodamium
Matus Goljer
@Fuco1
Synced via GitHub
Top Repositories
lean-gptf
Interactive neural theorem proving in Lean
132
7
Lean
lean-step-public
Proof artifact co-training for Lean
43
11
Lean
lean-tpe-public
The Lean Theorem Proving Environment
15
4
Lean
neuro-cadical
CaDiCaL + neural glue variable predictions
10
2
Python
neurocuber-public
Learning cubing heuristics for SAT from DRAT proofs
6
0
Python
lean-parser-combinators
Monadic parser combinators, in Lean
4
0
Lean
colada-parser
A parser for Colada, a controlled natural language for the calculus of inductive constructions
2
0
Haskell
lean-demo
1
0
Lean
lean-coffee-can
1
0
Lean
lean
Lean Theorem Prover
1
0
C++
Open Source Impact
Contributions to external projects
29 merged PRs
Contributed to 3 repositories