home.social
Sign in Create account

#macaulay2 — Public Fediverse posts

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

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

    Readings shared September 17, 2025. jaalonso.github.io/vestigium/p #AI #Autoformalization #CAS #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Macaulay2 #Math #Mathlib #Physics #Rocq #SMT

    #smt #rocq #physics #mathlib #math #macaulay2
  2. sheerluck @[email protected] ·

    #Macaulay2 #MPSolve #gcc-15

    cannot use keyword «false» as enumeration constant
   10 | { false = 0, true = 1 } mps_boolean;
      |   ^~~~~

    #macaulay2 #mpsolve #gcc15