niccoloveltri

followers

0

following

0

stars

niccoloveltri's repositories

final-pfin

Language:Agda12 30

agda-gtt

Language:Agda8 20

guarded-ccs-pi

Language:Agda7 10

skewmoncats-normal

Language:Agda3 10

agda-clott

Language:TeX2 3 4

coh-symmskewmon

Language:Agda1 10

skew-prounital-closed-cats

Language:Agda1 10

academic-portfolio

Language:TeX010

aczel-mendler

Language:Agda000

code-skewmonclosed

Language:Agda010

guarded-ccs-picalculus

010

ind-coind-pred-lifts

Language:Agda020

niccoloveltri.github.io

Language:Agda010

multifocus-sknmill

Language:Agda010

pi0-agda

Language:Agda020

sem-cut-elim

Language:Agda010

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION000