Bobinas P4G
  • Login

  • Public

    • Public
    • Groups
    • Popular
    • People

Conversation

Notices

  1. Hacker News (hn@qoto.org)'s status on Saturday, 26-Oct-2019 12:12:03 UTC Hacker News Hacker News

    Metamath Zero, a bootstrapping theorem prover
    https://news.ycombinator.com/item?id=21358674
    #hackernews #tech

    In conversation Saturday, 26-Oct-2019 12:12:03 UTC from qoto.org permalink

    Attachments


    • 🎓 Dr. Freemo :jpf: 🇳🇱 repeated this.

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • Privacy
  • Source
  • Version
  • Contact

Bobinas P4G is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Bobinas P4G content and data are available under the Creative Commons Attribution 3.0 license.