Pinned Loading

1. LeanAide LeanAide Public

   Forked from siddhartha-gadgil/LeanAide

   Tools based on AI for helping with Lean 4

   Lean

2. Lean-Scraper Lean-Scraper Public

   Scrape Lean and Mathlib to get all the constants and their information!

   Lean

3. FP-CT-Lean FP-CT-Lean Public

   Basics of Functional Programming and Category Theory in Lean 4

   Lean

4. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

5. Blockchain-Scalability Blockchain-Scalability Public

   PoW Blockchain Simulator

   Jupyter Notebook

6. Go-Lean Go-Lean Public

   Go/Baduk/Weiqi in Lean!

   Lean