Readings shared September 29, 2024
The readings shared in Mastodon on 29 September 2024 are
- Readings shared September 28, 2024. #ITP #LeanProver #IsabelleHOL #Coq #HOLLight #Logic #Math
- M2Lyon2425: Sets and functions (Solutions). ~ Filippo A. E. Nuccio. #ITP #LeanProver #Lean4 #Math
- M2Lyon2425: Sets and functions. ~ Filippo A. E. Nuccio. #ITP #LeanProver #Lean4 #Math
- ENS-Leancourse: Introduction to Lean. ~ Roman Soletskyi. #ITP #LeanProver #Lean4 #Math
- ENS-Leancourse: Proofs by calculation. ~ Roman Soletskyi. #ITP #LeanProver #Lean4 #Math
- ENS-Leancourse: Using theorems in Lean. ~ Roman Soletskyi. #ITP #LeanProver #Lean4 #Math
- ENS-Leancourse: Lean style guidelines. ~ Roman Soletskyi. #ITP #LeanProver #Lean4 #Math
- ENS-Leancourse: Homework 1 (Sep 21, 2024). ~ Roman Soletskyi. #ITP #LeanProver #Lean4 #Math
- ENS-Leancourse: Logic in Lean4. ~ Roman Soletskyi. #ITP #LeanProver #Lean4 #Math
- Con(NF): A formal consistency proof of Quine's set theory New Foundations. ~ Sky Wilshaw et als. #ITP #Lean4 #Math
- Welcome to the parti(tioning) (Functional Pearl): Using rewrite rules and specialisation to partition Haskell programs. ~ Robert Krook & Samuel Hammersber. #Haskell #FunctionalProgramming
- The Marseille-Edinburgh connection. ~ Robert Kowalski. #Prolog #LogicProgramming
- PROLOG en son temps: hier, aujourd’hui, demain. Un point de vue industriel, économique et géopolitique. ~ Jean Rohmer. #Prolog #LogicProgramming
- L’IA symbolique et le dépassement de la logique classique. ~ Henri Prade. #AI #Logic #Prolog #LogicProgramming
- ASP: un devenir de Prolog. ~ Belaïd Benhamou, Vincent Risch & Éric Würbel. #LogicProgramming #Prolog #ASP
- Dimensions linguistiques de Prolog : le passé, le futur. ~ Verónica Dahl. #Prolog #AI