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...