boltonbailey Goto Github PK

accumulator

Cryptographic accumulators in Rust.

aesop

White-box automation for Lean 4

babysnark

Baby SNARK (do do dodo dodo)

batteries

The "batteries included" extended library for the Lean programming language and theorem prover

bolton-talon

boltonbailey.github.io

btcd

An alternative full node bitcoin implementation written in Go (golang)

chess

community

Voice command set for Talon, community-supported.

cs145-team-bob

cspell-dicts

Various cspell dictionaries

duper

fledger

Networking tests for Fledger

formal-proofs

formal-snarks-project

A formal verification of Linear PCP SNARKs.

go-player

habitat-api

A modular high-level library to train embodied AI agents across a variety of tasks, environments, and simulators.

lean

Lean Theorem Prover

lean4

Lean 4 programming language and theorem prover

leanprover-community-blog

Source for the community blog

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

levm

manifold

Manifold Markets: A market for every question

manifold-arb

mathlib

Lean mathematical components library

mathlib4-all-tactics

Markdown file of the list and explanations of all mathlib4 tactics

ml-for-proofs

An open bibliography of machine learning for formal proof papers

pandemaniac-team-bob

Project for CS144 Winter 2016

primenumbertheoremand

blueprint for prime number theorem and more

risc0-metamath

Use RISC Zero to check Metamath