home.social

#metamath — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #metamath, 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