home.social

#mathproving — Public Fediverse posts

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

  1. Atexjam @[email protected] ·

    youtube.com/@pagene#PaigeRandallNorth
    good resource for     #mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving

    #mathbasics #lean #leantheoremprover #proofs #mathproof #mathproving
  2. Atexjam @[email protected] ·

    youtube.com/@pagene#PaigeRandallNorth
    good resource for     #mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving

    #mathbasics #lean #leantheoremprover #proofs #mathproof #mathproving
  3. Atexjam @[email protected] ·

    youtube.com/@pagene#PaigeRandallNorth
    good resource for     #mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving

    #mathbasics #lean #leantheoremprover #proofs #mathproof #mathproving
  4. Atexjam @[email protected] ·

    youtube.com/@pagene#PaigeRandallNorth
    good resource for     #mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving

    #mathproving #mathproof #proofs #leantheoremprover #lean #mathbasics
  5. Atexjam @[email protected] ·

    youtube.com/@pagene#PaigeRandallNorth
    good resource for     #mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving

    #mathbasics #lean #leantheoremprover #proofs #mathproof #mathproving