← 트렌딩

Tangerine Index는 ChatGPT 이후 나온 프로덕트와 사람들의 반응을 싣습니다.

golitex

github.com

Python of formal math

오픈소스

github.com 방문외부 사이트GitHub686 스타외부 사이트

반응 (2)

비슷한 프로덕트

설명이 비슷한 순

  1. Exploring Mathematics with Python

    Hacker News268점coe.psu.ac.th반응 2개최근 반응

  2. mathcode

    MathCode: A Frontier Mathematical Coding Agent

    GitHub스타 751github.com오픈소스최근 반응

  3. val

    An arbitrary precision calculator language

    Hacker News34점GitHub스타 106github.com오픈소스반응 2개최근 반응

  4. Ramanujan

    Multi-Model Agent for Research in Computational Maths

    Hacker News5점GitHub스타 5github.com오픈소스반응 2개최근 반응

  5. I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

    Hacker News5점raw.githubusercontent.com최근 반응