norm_cast was upstreamed to Lean4
I am now a contributor to Lean!
Posts
Typhon: Nix-based continuous integration
Announcing Typhon!
A Nix Flake Template
I wrote a Nix ❄ Template
Nix registry
A quick note about a small trick I implemented in my NixOS configurations.