home.social

#mizar — Public Fediverse posts

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

  1. José A. Alonso @[email protected] ·

    Readings shared October 29, 2025. jaalonso.github.io/vestigium/p #AI #CompSci #FunctionalProgramming #GenAI #HOL_Light #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Metamath #Mizar #Programming #Python #Rocq

    #rocq #python #programming #mizar #metamath #math
  2. José A. Alonso @[email protected] ·

    1000+ theorems (The spiritual successor of Freek’s list of 100 theorems. Now with more than 1000 theorems!). ~ Katja Berčič et als. 1000-plus.github.io/all #Math #ITP #IsabelleHOL #HOL_Light #Rocq #LeanProver #Metamath #Mizar

    #mizar #metamath #leanprover #rocq #hol_light #isabellehol
  3. José A. Alonso @[email protected] ·

    Lecturas compartidas el 11 de mayo de 2024. jalonso.substack.com/lecturas- #ITP #Lean4 #IsabelleHOL #Agda #Coq #HOL_Light #Metamath #Mizar #Math #Programming #CommonLisp

    #commonlisp #programming #math #mizar #metamath #hol_light
  4. José A. Alonso @[email protected] ·

    Algorithm and abstraction in formal mathematics. ~ Heather Macbeth. arxiv.org/abs/2405.04699 #ITP #Agda #Coq #Lean4 #HOL_Light #IsabelleHOL #Metamath #Mizar #Math

    #math #mizar #metamath #isabellehol #hol_light #lean4