Skip to content
View DanielAndrade53's full-sized avatar
🐊
🐊
  • University of Minho
  • Portugal
  • 20:44 (UTC)

Highlights

  • Pro

Block or report DanielAndrade53

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
DanielAndrade53/README.md

Hi there 👋

My github stats GitHub Activity Graph

Languages & Tools

Skills

Studying

Skills

Pinned Loading

  1. Ferramenta-de-Provas-de-Deducao-Natural Ferramenta-de-Provas-de-Deducao-Natural Public

    Natural Deduction Proof Tool

    Python 1

  2. Processamento-Linguagens-Compildadores Processamento-Linguagens-Compildadores Public

    Language Processing and Compilers Class

    Python

  3. Logica-Computacional Logica-Computacional Public

    Computational Logic Class

    Jupyter Notebook 1