Skip to content
View bernborgess's full-sized avatar
38 followers · 133 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Block or report bernborgess

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
bernborgess/README.md

Popular repositories Loading

  1. tpf-bandeco tpf-bandeco Public

    C++ 3 1

  2. lean-cutting-planes lean-cutting-planes Public

    Cutting Planes formal logic modelled in Lean 4 for verified reasoning.

    Lean 2

  3. 2020-2-exercicio-revisao-refatoracao 2020-2-exercicio-revisao-refatoracao Public archive

    Forked from pds2-dcc-ufmg/2020-2-exercicio-revisao-refatoracao

    C++ 1

  4. bernborgess bernborgess Public

    HTML 1

  5. haskell-learn haskell-learn Public

    Haskell 1

  6. css-demos css-demos Public

    Learning most CSS features! And goofy!

    HTML 1