Skip to content
View ErVinuelas's full-sized avatar
🦔
Constantly learning
🦔
Constantly learning
4 followers · 20 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report ErVinuelas

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Pinned Loading

  1. verification-segments verification-segments Public

    This is the project that corresponds with the final Bachelor thesis of Pablo Martín.

    Dafny

  2. costa-group/termination_coq costa-group/termination_coq Public

    TFG of Pablo about formalising termination proofs in Coq

    Coq

  3. ayhon/practica-pl ayhon/practica-pl Public

    Implementación de un compilador de Ditto a WASM

    Java 1

  4. savicente2109/calcul-ia-dores savicente2109/calcul-ia-dores Public

    Este repositorio contiene nuestra solución al problema propuesto por Accenture para el Concurso de Modelización de Problemas de Empresa, organizado por la Facultad de Matemáticas de la Universidad …

    Jupyter Notebook 2

  5. PracticasConcurrente PracticasConcurrente Public

    Java

  6. gravitationalSimulator gravitationalSimulator Public

    Código de un simulador físico

    Java