Bruno Lopes (@blopesvieira)
github

blopesvieira

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 957,450 (Top 34 %)
  • Followers 7
  • Following 2
  • Registered about 14 years ago
  • Most used languages
    Lua
         50.0 %
    Python
         50.0 %
  • Location 🇧🇷 Brazil
  • Country Total Rank 25,480
  • Country Ranking
    Lua
         267
    Python
         6,160

Top repositories

1

TableauxProver

An automatic and semi-automatic theorem prover on Tableaux
Lua
5
star
2

MoinMoin-Parser-BibTeX2

MoinMoin BibTeX2 Parser
Python
4
star