My NixOS config

Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.

Coq code that helps me learn HoTT.

Some scripts for manipulating genomic data

All the seminar talks I have given during my studies.

Personal research notes

Learning Twelf

Moja prezentacja o Homotopicznej Teorii Typów na seminarium z Logiki i Teorii Typów

My research in Type Theory

Some code based on papers I read

An mtl-like library for dealing with effects in Coq

Materiały do mojego wystąpienia na Dniach Otwartych II UWr 2021

Formally verified algorithms in Coq: concepts and techniques

My personal home page

Formalization of Category Theory in Coq.

Slides and code snippets for a talk I have given in November 2021.

Materials from the seminar

Code and slides for my talk presented at the seminar.

Kompilator na JFTT 2016

This will be a list of interesting papers in type theory.

Stabilna wersja alfa mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych dziwnych rzeczach.

My seminar talk about algebraic effects

Moja prezentacja o topologicznej analizie danych (chociaż jest bardziej o topologii niż o danych)

My solutions for some (easy) problems from spoj.com