Paweł Balawender

@ruplet

🇵🇱 Poland

Profile age: over 10 years

Updated 11 days ago

13 followers • 9 following

updated 9 days ago • age 3 months

Lean95.3%

Rocq Prover2.2%

Isabelle2.1%

TeX0.4%

updated almost 3 years ago • age almost 3 years

JavaScript87.8%

Shell5.9%

HTML3.1%

Dockerfile2.2%

VCL1.0%

updated over 5 years ago • age almost 6 years

C96.9%

Assembly3.1%

updated about 6 years ago • age almost 7 years

Python61.6%

Brainfuck23.1%

Assembly15.3%