Neovim support for the Lean theorem prover

Catalyze your Fenced Markdown Code-block editing!

website

A data index and query language over Markdown files, for https://obsidian.md/.

An interactive and powerful Git interface for Neovim, inspired by Magit

Lean 定理证明

Simplified educational python plonk implementation

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from ...

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility...