Readings shared May 25, 2025
The readings shared in Bluesky on 25 May 2025 are
- Shallow expressions (in Isabelle/HOL). ~ Simon Foster. #ITP #IsabelleHOL
- Orgro: A mobile Org Mode file editor and viewer. #OrgMode
The readings shared in Bluesky on 25 May 2025 are