Flávio Leonardo Cavalcanti de Moura

@flaviodemoura

🇧🇷 Brasil

Universidade de Brasília

Profile age: about 11 years

Updated 6 days ago

46 followers • 29 following

updated almost 7 years ago • age over 7 years

Coq50.9%

TeX47.9%

Makefile1.2%

updated over 9 years ago • age almost 10 years

Coq98.7%

Makefile1.2%

Verilog0.1%

updated over 5 years ago • age almost 8 years

OCaml98.6%

Makefile1.4%