The math library of Lean 4

How accurate are prediction markets?

A collection of formalized statements of conjectures in Lean.

ImProver: Agent-Based Automated Proof Optimization

SC: Ethereum - zk(E)VM Verification - STIR Lean Blueprint

Formally Verified Arguments of Knowledge in Lean

An example bot for cross-creating markets from Manifold to PlayMoney

Formalized Cryptography Proofs in Lean 4

Lean coding problem solving challenge website with proof verification

Simple prediction market platform

Catalog Of Math Problems Formalized In Lean

Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)

A web service offering HTML5 articles from arXiv.org as converted with latexml

White-box automation for Lean 4

A Jekyll plugin to convert relative links to markdown files to their rendered equivalents

Dark Reader Chrome and Firefox extension