A highlightjs language grammar for the Lean theorem proving language.

package for theorem proving

TypeScript port of ProofOfThought - Neurosymbolic program synthesis combining LLMs with Z3 theorem proving

wasm core runs in web browser, with rich UI for theorem proving

CLI for Theorem — formal verification for TypeScript

Core engine for Theorem — parser, translator, solver, scanner, suggester

Public Key Infrastructure (PKI) is the basis of how identity and key management is performed on the web today. PKIjs is a pure JavaScript library implementing the formats that are used in PKI applications. It is built on WebCrypto and aspires to make it p

Bundler plugins for Theorem — strip contracts at build time (vite, esbuild, tsup)

TypeScript Language Service Plugin for Theorem — inline verification in VS Code

React Native turbo module for Vouch SDK

Implementation of proof provider based on the Midnight ledger proof server

Barrel package re-exporting all Midnight Wallet SDK packages

This package implements the P2P networking layer for Aztec nodes using libp2p. It handles transaction propagation, block and checkpoint proposal dissemination, attestation collection for consensus, and peer management. The `P2PClient` provides the top-lev

Barrel package re-exporting all Midnight Wallet SDK packages

Headless enclave proving orchestrator for the Provex buy flow

精细碰撞检测，SAT(Separating Axis Theorem)分离轴定理，适用于任意2D凸多边形的 精细检测 阶段

Implementation of proof provider leveraging the DApp Connector's proving API

Prove a claim with type, lint, and runtime evidence from the workspace's own toolchain.

Content-addressed identity, honest by construction — mint + mind, holographic merkle proofs, a reversible imprint codec, a reeducating harness, a measured billing model, pure-TypeScript ChaCha20-Poly1305 encryption under a 7d-fold envelope, and an MCP ser

Confidential USDC on Stellar — client library with in-browser zero-knowledge proving