LAlapisla-prover
LA

lapisla-prover

@lapisla-prover
Theorem prover and ecosystem for general users.

  • Lapisla Prover API@lapisla-prover/lapisla-prover-api

    Theorem proving: manage files and versioned snapshots, search and register public proofs, inspect dependencies and SBOMs

    Last change1225
    Updated on 2026-07-17