home.social

#coqprover — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #coqprover, aggregated by home.social.

José A. Alonso @[email protected] · 2025-09-24 · 06:46 UTC

Readings shared September 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/24-readings_shared_09-23-25 #Abella #Agda #CategoryTheory #CoqProver #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Naproche #Rocq #RustLang

#rustlang #rocq #naproche #math #logic #leanprover
José A. Alonso @[email protected] · 2025-09-24 · 06:46 UTC

Readings shared September 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/24-readings_shared_09-23-25 #Abella #Agda #CategoryTheory #CoqProver #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Naproche #Rocq #RustLang

#rustlang #rocq #naproche #math #logic #leanprover
José A. Alonso @[email protected] · 2025-09-24 · 06:46 UTC

Readings shared September 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/24-readings_shared_09-23-25 #Abella #Agda #CategoryTheory #CoqProver #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Naproche #Rocq #RustLang

#rustlang #rocq #naproche #math #logic #leanprover
José A. Alonso @[email protected] · 2025-09-24 · 06:46 UTC

Readings shared September 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/24-readings_shared_09-23-25 #Abella #Agda #CategoryTheory #CoqProver #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Naproche #Rocq #RustLang

#abella #agda #categorytheory #coqprover #functionalprogramming #hol4
José A. Alonso @[email protected] · 2025-09-24 · 06:46 UTC

Readings shared September 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/24-readings_shared_09-23-25 #Abella #Agda #CategoryTheory #CoqProver #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Naproche #Rocq #RustLang

#rustlang #rocq #naproche #math #logic #leanprover
José A. Alonso @[email protected] · 2025-07-30 · 06:08 UTC

Readings shared July 29, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/30-readings_shared_07-29-25 #CoqProver #FormalVerification #FunctionalProgramming #Haskell #IMO #ITP #LLMs #LeanProver #MachineLearning #Math #ProofAssistant #Rocq #Rust

#rust #rocq #proofassistant #math #machinelearning #leanprover
José A. Alonso @[email protected] · 2025-07-30 · 06:08 UTC

Readings shared July 29, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/30-readings_shared_07-29-25 #CoqProver #FormalVerification #FunctionalProgramming #Haskell #IMO #ITP #LLMs #LeanProver #MachineLearning #Math #ProofAssistant #Rocq #Rust

#rust #rocq #proofassistant #math #machinelearning #leanprover
José A. Alonso @[email protected] · 2025-07-30 · 06:08 UTC

Readings shared July 29, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/30-readings_shared_07-29-25 #CoqProver #FormalVerification #FunctionalProgramming #Haskell #IMO #ITP #LLMs #LeanProver #MachineLearning #Math #ProofAssistant #Rocq #Rust

#rust #rocq #proofassistant #math #machinelearning #leanprover
José A. Alonso @[email protected] · 2025-07-30 · 06:08 UTC

Readings shared July 29, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/30-readings_shared_07-29-25 #CoqProver #FormalVerification #FunctionalProgramming #Haskell #IMO #ITP #LLMs #LeanProver #MachineLearning #Math #ProofAssistant #Rocq #Rust

#coqprover #formalverification #functionalprogramming #haskell #imo #itp