stefaniatadama

PhD student

University of Nottingham

Pinned Repositories

cubical
An experimental library for Cubical Agda
Language:Agda459 26 243141
ixo-blockchain
ixo blockchain SDK
Language:Go41 12 9529
cps2000-minilang-interpreter
MiniLang Interpreter
Language:C++0 0 00
cps2002-assignment
Software Engineering Assignment - Luke Collins & Stefania Damato
Language:HTML0 1 00
cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
inductive_types
Constructing Simple and Mutual Inductive Types in Agda.
Language:Agda8 1 01
MGS-categorical-realizability
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
Language:TeX0 0 00
stefaniatadama.github.io
Language:HTML0 0 00
TYPES-23
A formalisation of generalised containers in Cubical Agda
Language:Agda3 1 00
MGS-categorical-realizability
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
Language:TeX20 1 05

stefaniatadama/inductive_types
Constructing Simple and Mutual Inductive Types in Agda.
Language:Agda8 1 01
stefaniatadama/TYPES-23
A formalisation of generalised containers in Cubical Agda
Language:Agda3 1 00
stefaniatadama/cps2000-minilang-interpreter
MiniLang Interpreter
Language:C++0 0 00
stefaniatadama/cps2002-assignment
Software Engineering Assignment - Luke Collins & Stefania Damato
Language:HTML0 1 00
stefaniatadama/cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
stefaniatadama/MGS-categorical-realizability
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
Language:TeX0 0 00
stefaniatadama/stefaniatadama.github.io
Language:HTML0 0 00