Readings shared October 28, 2024
The readings shared in Mastodon on 28 October 2024 are
- Readings shared October 27, 2024. #ITP #Coq #Haskell #OCaml #Math #SetTheory #ChatGPT
- Lean: First steps (12 - Odd & Even). ~ Tariq Rashid (@rzeta0@mastodon.social) #ITP #Lean4 #Math
- Lean: First steps (13 - Disequality). ~ Tariq Rashid (@rzeta0@mastodon.social) #ITP #Lean4 #Math
- Prime number theorem and more. ~ Alex Kontorovich et als. #ITP #LeanProver #Math
- CoqPilot, a plugin for LLM-based generation of proofs. ~ Andrei Kozyrev, Gleb Solovev, Nikita Khramov, Anton Podkopaev. #ITP #Coq #LLMs