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 July 22, 2026. jaalonso.github.io/vestigium/p #AI4Math #Agda #FunctionalProgramming #HOL_Light #Haskell #ITP #IsabelleHOL #LeanProver #Math #Mizar #PVS

    #pvs #mizar #math #leanprover #isabellehol #itp
  2. José A. Alonso @[email protected] ·

    Reformalization of the Jordan curve theorem. ~ Simon Guilloud, Sankalp Gambhir, Samuel Chassot. openreview.net/pdf?id=jhbkIZOn #Mizar #LeanProver #HOL_Light #Agda #ITP

    #itp #agda #hol_light #leanprover #mizar