Yao Li - Blog https://lastland.github.io/feed.xml Yao Li liyao@pdx.edu 2026-08-13T00:00:00Z Displaying Proof Goals with Alectryon https://lastland.github.io/posts/alectryon-demo.html 2026-08-13T00:00:00Z 2026-08-13T00:00:00Z Rendering Test https://lastland.github.io/posts/rendering-test.html 2026-08-12T00:00:00Z 2026-08-12T00:00:00Z Org Sample https://lastland.github.io/posts/org-sample.html 2026-08-11T00:00:00Z 2026-08-11T00:00:00Z