https://f.leal.sh/ https://f.leal.sh/posts/ https://f.leal.sh/posts/page/1/ https://f.leal.sh/posts/resources-i-quote/ 2025-02-01 https://f.leal.sh/posts/rocq-proof-assistant/ 2025-01-11 https://f.leal.sh/posts/suffix-array/ 2023-06-12 https://f.leal.sh/projects/ https://f.leal.sh/projects/cat-theory/ 2024-07-31 https://f.leal.sh/projects/ditto-lang/ 2023-05-31 https://f.leal.sh/projects/iris-lean/ 2026-06-15 https://f.leal.sh/projects/octagonal-constraint-solver/ 2024-06-30 https://f.leal.sh/projects/sha3-lean/ 2025-05-31 https://f.leal.sh/projects/sha3-rs/ 2025-07-31 https://f.leal.sh/projects/wander/ 2026-08-31 https://f.leal.sh/tags/ https://f.leal.sh/tags/comp-prog/ https://f.leal.sh/tags/list/ https://f.leal.sh/tags/overview/ https://f.leal.sh/tags/suffix-array/ https://f.leal.sh/tags/theorem-proving/