← Latest products

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.

Open source

56 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. OpenFable

    github.com

    Open-source RAG engine using tree-structured indexes

    Hacker News5 pts

  2. i2forge

    i2forge.com

    A Platform for Verified Reasoning

    Hacker News35 pts

  3. Petra

    kickstarter.com

    A new way to code reliably

    Product Hunt76 votes

  4. DeepClue

    deepclue.app

    AI-powered deduction game platform

    Product Hunt86 votes

  5. Julius

    github.com

    a New Lisp Implementation

    Hacker News14 pts