Matteo Busi

@matteobusi

🇮🇹 Italy

Profile age: about 15 years

Updated 17 days ago

22 followers • 37 following

updated over 4 years ago • age over 7 years

OCaml89.0%

Python9.5%

Makefile1.4%

updated about 5 years ago • age about 5 years

OCaml58.8%

Scheme38.2%

Makefile2.9%

updated 9 months ago • age 9 months

Coq100.0%