home.social

#minlog — Public Fediverse posts

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

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

    Readings shared February 14, 2026. jaalonso.github.io/vestigium/p #AI4Math #Agda #Clojure #CoqProver #FunctionalProgramming #Haskell #ITP #LeanProver #Lisp #Logic #Math #Minlog #Prolog #RustLang

    #rustlang #prolog #minlog #math #logic #lisp