Skip to content

@lapisla-prover lapisla-prover

All

    Repositories list

    2 repositories

    • lapisla-prover

      Public
      lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
      proof-assistantformal-verificationtheorem-prover
      proof-assistantformal-verificationtheorem-prover
      TypeScript
      •
      MIT License
      •1•56•18•0•Updated Dec 15, 2025Dec 15, 2025

    • .github

      Public
      0•0•0•0•Updated Feb 4, 2025Feb 4, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.