jgalat

Preferred Languages

C++

Coq

Haskell

HTML

JavaScript

Python

Scala

Standard ML

TeX

jgalat has made 0 contributions so far during the 2024 holidays

24 Pull Requests runs from 1st-24th December, come back then to see jgalat's progress.