← 최신 프로덕트

Lapisla

A Theorem Proving Platform for Openness and Reusability. lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋. We built *lapisla*, a theorem proving platform designed to make formal proofs more open and collaborative.

오픈소스

56 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. OpenFable

    github.com

    Open-source RAG engine using tree-structured indexes

    Hacker News5점

  2. i2forge

    i2forge.com

    A Platform for Verified Reasoning

    Hacker News35점

  3. Petra

    kickstarter.com

    A new way to code reliably

    Product Hunt추천 76

  4. DeepClue

    deepclue.app

    AI-powered deduction game platform

    Product Hunt추천 86

  5. Julius

    github.com

    a New Lisp Implementation

    Hacker News14점