jgalat
Preferred Languages
C
C++
Coq
Haskell
HTML
JavaScript
Python
Scala
Standard ML
TeX
jgalat has made 0 contributions so far during the 2025 holidays
@jgalat
has gifted no contributions this year.
Can we help you get started?
