The readings shared in Mastodon on September 1, 2024 are

• Readings shared August 31, 2024. #ITP #Lean4 #IsabelleHOL #Theorema #Coq #Agda #Math #HoTT #Calculemus #PhDThesis
• Modal μ-calculus for free in Agda. ~ Ivan Todorov & Casper Bach Poulsen. #ITP #Agda