Skip to content
View AglaiaNorza's full-sized avatar
☕
☕
44 followers · 38 following

Block or report AglaiaNorza

Report abuse

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

Report abuse
AglaiaNorza/README.md

interested in logic(s) (computational and classical)
+ literature, cinema, collecting music and tea !!

s-bahn

5.6 The limits of my language mean the limits of my world.

Pinned Loading

  1. bsc-notes bsc-notes Public

    notes for my bsc in computer science @ sapienza university

    TeX 15

  2. diegotty/hoare-proof-assistant diegotty/hoare-proof-assistant Public

    SML interactive verification assistant for hoare logic

    Standard ML 5

  3. dotfiles dotfiles Public

    dotfiles (arch + i3)

    Lua 4

  4. latex-setup latex-setup Public

    LaTeX template + nvim snippet setup

    TeX 2