Stars
Browse starred repositories and topics
Sort: Recently starred
Sort options
Starred Repositories
-
-
Formalizing stochastic doubly-efficient debate
-
Retrieval-Augmented Theorem Provers for Lean
-
LLMs as Copilots for Theorem Proving in Lean
-
A zero-knowledge Lean4 compiler and kernel
-
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
-
Nova: High-speed recursive arguments from folding schemes
-
💧 Liquid Tensor Experiment
-
-
Tool for data extraction and interacting with Lean programmatically.