Now I'm reading LOGIC IN COMPUTER SCIENCE to relearn (and dig deeper) the little bit of mathematical logic I've learnt at university...This article is about binary decision diagrams

Now I'm reading LOGIC IN COMPUTER SCIENCE to relearn (and dig deeper) the little bit of mathematical logic I've learnt at university...This article is about modal logic

I'm reading LOGIC IN COMPUTER SCIENCE to relearn (and dig deeper) the little bit of mathematical logic I've learnt at university...This article is about proof based program verification

Category theory appears everywhere when I learn things, so I'd better learn it systematically. This article writes about what is Category and some examples.

Notes for the sixth HoTT course of HoTTEST Summer School 2022

Notes for the fifth HoTT course of HoTTEST Summer School 2022

Notes for the fourth HoTT course of HoTTEST Summer School 2022

Notes for the third HoTT course of HoTTEST Summer School 2022

Notes for the second HoTT course of HoTTEST Summer School 2022

Notes for the first HoTT course of HoTTEST Summer School 2022