Readings shared January 29, 2025
The readings shared in Bluesky on 29 January 2025 are
- Readings shared January 28, 2025. #ITP #LeanProver #Logic #Math #Prolog #LogicProgramming #Racket #FunctionalProgramming
- Mission-time linear temporal logic (in Isabelle/HOL). ~ Katherine Kosaian, Zili Wang, Elizabeth Sloan. #ITP #IsabelleHOL
- Mission-time linear temporal logic to regular expressions (in Isabelle/HOL). ~ Zili Wang, Katherine Kosaian. #ITP #IsabelleHOL