← 최신 프로덕트

Sostactic

polynomial inequalities using sums-of-squares in Lean. Proving polynomial inequalities with sum-of-squares certificates. Current support for nonlinear inequalities in Lean is quite limited.

오픈소스

30 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Formalizing Principia Mathematica using Lean

    github.com

    Rewriting Principia Mathematica in Lean

    Hacker News188점

  2. Formal Verification for Machine Learning Models Using Lean 4

    github.com

    Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

    Hacker News52점

  3. OneSparse

    github.com

    Open Source Accelerated Sparse Linear Algebra for Postgres

    Hacker News13점

  4. val

    github.com

    An arbitrary precision calculator language

    Hacker News34점

  5. Sum (algebraic) types for C in one 100 line header

    github.com

    A mirror of https://git.sr.ht/~grego/sumtypes.h

    Hacker News92점