projects

[ 2 ]

[01]

*****+::::::::::::+*****
x**+:···::+++++::··:++**
x*+:·  ·:*xx#xx+:····:+*
x*:·   :+xx####*+·   ·+*
x*:·   :+xxx###x+·   ·+*
x*:·   :+xx####*+·   ·+*
x*+:·  ·:*xx#xx+:····:+*
x**+:···::+++++::··:++**
*****+::::::::::::+*****

Higher-order categories in Lean 4

Jun 2026

My mathematics degree final project, a formalization of higher-order categories in Lean 4.

#lean#category-theory#formalizationgithub ↗project page ↗thesis ↗

[02]

xx*+::····::++++::::::+*
#xx+:·   ·:+*xxx*:·   ·+
**++:::::+**xxxx*+:···:+
:···:+*xxxx**++++++++++*
·   ·+x###x+:::::+++****
:···:+*xxxx**++++++++++*
**++:::::+**xxxx*+:···:+
#xx+:·   ·:+*xxx*:·   ·+
xx*+::····::++++::::::+*

num2words: numbers to words in Typst

May 2026

A Typst package that writes numbers out in words, picking the language up from the document itself.

#typst#i18ngithub ↗typst universe ↗manual ↗