Bluesky Explorer

#Automath

Latest posts tagged with #Automath on Bluesky

Trending

#MJF Tribute #WBC #Javier Bardem #Marty Supreme #Andrade #Jessie Buckley #Academy Awards #MBJ #Autumn Durald Arkapaw #Wallace #MJF Tribute #WBC #Javier Bardem #Marty Supreme #Andrade #Jessie Buckley #Academy Awards #MBJ #Autumn Durald Arkapaw #Wallace

Posts tagged #Automath

José A. Alonso

@jalonso.eurosky.social

4 months ago

Preview

Readings shared November 2, 2025 The readings shared in Bluesky on 2 November 2025 are: "Why don't you use dependent types?" ~ Lawrence Paulson. #ITP #Automath #LCF #IsabelleHOL #LeanProver #TypeTheory Lean4Physics: Comprehensive re

Readings shared November 2, 2025. jaalonso.github.io/vestigium/po... #AI #Agda #Automath #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LCF #LLM #LeanProver #Physics #TypeTheory

1 0 0 0

José A. Alonso

@jalonso.eurosky.social

4 months ago

"Why don't you use dependent types?" ~ Lawrence Paulson. lawrencecpaulson.github.io//2025/11/02/... #ITP #Automath #LCF #IsabelleHOL #LeanProver #TypeTheory

6 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

Preview

Lecturas compartidas el 31 de marzo de 2024 #Automath #Emacs #Haskell #ITP #Matemáticas #Math #OrgMode #Pandoc #Python

Lecturas compartidas el 31 de marzo de 2024. jalonso.substack.com/lecturas-com... #Automath #Emacs #Haskell #ITP #Matemáticas #Math #OrgMode #Pandoc #Python

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

Checking Landau's "Grundlagen" in the Automath system. ~ L.S. van Benthem Jutting (1977). pure.tue.nl/ws/files/171... #ITP #Automath #Math

0 0 0 0