norm_cast was upstreamed to Lean4

I am now a contributor to Lean!

February 21, 2024

Typhon: Nix-based continuous integration

Announcing Typhon!

February 8, 2024

A Nix Flake Template

I wrote a Nix ❄ Template

November 7, 2023

Nix registry

A quick note about a small trick I implemented in my NixOS configurations.

June 9, 2022