BoltonBailey

Proof Engineer @Pi-Squared-Inc

Pi Squared Inc.

Pinned Repositories

accumulator
Cryptographic accumulators in Rust.
Language:Rust0 1 00
bolton-talon
Language:Talon0 1 00
boltonbailey.github.io
Language:HTML0 2 00
chess
Language:Java1 2 00
formal-snarks-project
A formal verification of Linear PCP SNARKs.
Language:Lean44 6 11
manifold-arb
Language:Python0 1 00
risc0-metamath
Use RISC Zero to check Metamath
Language:Rust3 1 00
risc0-metamath-15
Language:Objective-C++2 1 41
SampCert
SampCert : a Verified Implementation of the Discrete Gaussian Sampler for Differential Privacy
Language:Lean1 1 00
uc-lean
Language:Lean0 3 01

BoltonBailey's Repositories

BoltonBailey/formal-snarks-project
A formal verification of Linear PCP SNARKs.
Language:Lean44 6 11
BoltonBailey/risc0-metamath
Use RISC Zero to check Metamath
Language:Rust3 1 00
BoltonBailey/risc0-metamath-15
Language:Objective-C++2 1 41
BoltonBailey/SampCert
SampCert : a Verified Implementation of the Discrete Gaussian Sampler for Differential Privacy
Language:Lean1 1 00
BoltonBailey/aesop
White-box automation for Lean 4
Language:Lean0 0 00
BoltonBailey/babySNARK
Baby SNARK (do do dodo dodo)
Language:Python0 1 00
BoltonBailey/bolton-talon
Language:Talon0 1 00
BoltonBailey/boltonbailey.github.io
Language:HTML0 2 00
BoltonBailey/btcd
An alternative full node bitcoin implementation written in Go (golang)
Language:Go0 1 00
BoltonBailey/manifold-arb
Language:Python0 1 00
BoltonBailey/uc-lean
Language:Lean0 3 01
BoltonBailey/community
Voice command set for Talon, community-supported.
Language:Python0 0
BoltonBailey/duper
Language:Lean0 0
BoltonBailey/fledger
Networking tests for Fledger
Language:Rust1 0
BoltonBailey/formal-proofs
Language:Lean1 0
BoltonBailey/lean
Lean Theorem Prover
Language:C++1 0
BoltonBailey/lean4
Lean 4 programming language and theorem prover
Language:Lean1 0
BoltonBailey/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS1 0
BoltonBailey/levm
Language:Lean1 01
BoltonBailey/manifold
Manifold Markets: A market for every question
Language:TypeScript0 0
BoltonBailey/mathlib
Lean mathematical components library
Language:Lean1 0
BoltonBailey/mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
Language:Lean0 0
BoltonBailey/ml-for-proofs
An open bibliography of machine learning for formal proof papers
Language:TeX0 0
BoltonBailey/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
Language:Lean0 0
BoltonBailey/rust-metamath
A Metamath verifier written in rust
Language:Rust1 01
BoltonBailey/tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
Language:C0 0
BoltonBailey/utreexo
accumulator for bitcoin utxo set
Language:Go1 0
BoltonBailey/vscode-python
Python extension for Visual Studio Code
Language:TypeScript0 0
BoltonBailey/yatima
A zero-knowledge Lean4 compiler and kernel
Language:Lean0 0
BoltonBailey/YatimaStdLib.lean
Language:Lean