niccoloveltri

Pinned Repositories

academic-portfolio
Language:TeX0 1 00
aczel-mendler
Language:Agda00
agda-clott
Language:TeX2 3 40
agda-gtt
Language:Agda8 2 00
code-skewmonclosed
Language:Agda0 1 01
coh-symmskewmon
Language:Agda1 1 00
final-pfin
Language:Agda12 3 02
guarded-ccs-pi
Language:Agda8 1 02
skew-prounital-closed-cats
Language:Agda1 1 00
skewmoncats-normal
Language:Agda3 1 00

niccoloveltri's Repositories

niccoloveltri/final-pfin
Language:Agda12 3 02
niccoloveltri/agda-gtt
Language:Agda8 2 00
niccoloveltri/guarded-ccs-pi
Language:Agda8 1 02
niccoloveltri/skewmoncats-normal
Language:Agda3 1 00
niccoloveltri/agda-clott
Language:TeX2 3 40
niccoloveltri/coh-symmskewmon
Language:Agda1 1 00
niccoloveltri/skew-prounital-closed-cats
Language:Agda1 1 00
niccoloveltri/academic-portfolio
Language:TeX0 1 00
niccoloveltri/aczel-mendler
Language:Agda00
niccoloveltri/code-skewmonclosed
Language:Agda0 1 01
niccoloveltri/guarded-ccs-picalculus
0 1 00
niccoloveltri/ind-coind-pred-lifts
Language:Agda0 2 00
niccoloveltri/niccoloveltri.github.io
Language:Agda0 1 00
niccoloveltri/multifocus-sknmill
Language:Agda1 0
niccoloveltri/pi0-agda
Language:Agda2 0
niccoloveltri/sem-cut-elim
Language:Agda1 0
niccoloveltri/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq0 0