Skip to content
@lapisla-prover

lapisla-prover

lapisla-prover development team

Pinned Loading

  1. lapisla-prover lapisla-prover Public

    lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! đź‘‹

    TypeScript 46 2

Repositories

Showing 2 of 2 repositories
  • lapisla-prover Public

    lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! đź‘‹

    lapisla-prover/lapisla-prover’s past year of commit activity
    TypeScript 46 MIT 2 18 (1 issue needs help) 1 Updated Mar 22, 2025
  • .github Public
    lapisla-prover/.github’s past year of commit activity
    0 0 0 0 Updated Feb 4, 2025

Top languages

Loading…

Most used topics

Loading…