$ about

NAME
    Francesco Cappetti - computer science student

SYNOPSIS
    ./francesco [--projects] [--contacts] [--blog]

DESCRIPTION
    Computer Science student at UNISA.

INTERESTS
    - programming languages
    - formal verification
    - automated reasoning
    - competitive programming

HOBBIES
    - puzzles
    - small keyboards
    - bouldering

SKILLS
    - Python
    - Rust
    - Gleam
    - Lean
    - Linux
    - Git & GitHub