A Fortiori Is Just Monotonicity (Wearing a Latin Name)
An a-fortiori argument is exactly a claim that some predicate is monotone along an order — and 'my a-fortiori reasoning was wrong' means one of three precise assumptions failed.
Personal blog at franchb.com
Personal blog at franchb.com
Latest posts
Building a Claude Code Skill Plugin from Scratch
A practical guide to building, structuring, versioning, and securing Claude Code skill plugins — lessons from creating fp-go-skill.
Hello, world!
Just the first post in this blog.