Escape (opus 1801)

2022 Academic Activities


Resilience (Opus 1015)

The Proof Course: Lecture 2

The Proof Course: Lecture 1

Pure Mathematics: Job Description

The SOFiA Proof Assistant Project

Bracket Notation for Mathematical Proofs

Category Theory Course 2022

Mathematical Structures Course 2022

Elementary Introduction to Set Theory

Guitarist, Contemplation and Camille


Beautiful Roses (opus 1601)

Reverse Prime Composite Numbers

The Transition from High School Mathematics to University Mathematics

Python-Based Introduction to Mathematical Proofs