GitHub repository: lapisla-prover/lapisla-prover
Primary language: TypeScript
Description: lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋