stevenaeola / progblack_2223Links
☆11Updated 2 years ago
Alternatives and similar repositories for progblack_2223
Users that are interested in progblack_2223 are comparing it to the libraries listed below
Sorting:
- A systems theorem prover☆12Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆736Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆338Updated this week
- Points for Free: Embedding Pointful Array Programming in Python☆18Updated last year
- A verification toolchain for Rust programs☆429Updated last week
- Scientific computing in Lean 4☆433Updated 5 months ago
- Metamath Zero specification language☆360Updated 3 months ago
- White-box automation for Lean 4☆308Updated last week
- An experimental library for Cubical Agda☆509Updated 2 weeks ago
- A proof assistant for higher-dimensional type theory☆218Updated 2 months ago
- ☆346Updated last month
- ☆265Updated 8 months ago
- Metamath source file for logic and set theory☆296Updated this week
- The agda-unimath library☆273Updated last week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆464Updated 3 weeks ago
- Catalog Of Math Problems Formalized In Lean☆204Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated last week
- A project to digitalise results from physics into Lean.☆382Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆301Updated last year
- Formalization of Mathematical Logic☆176Updated this week
- Server to host lean games.☆337Updated 2 weeks ago
- Construction of a Brownian Motion in Lean☆23Updated last week
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆61Updated 2 months ago
- HoTTEST Summer School materials☆314Updated 5 months ago
- Natural Number Game☆243Updated last month
- Proof assistant based on the λΠ-calculus modulo rewriting☆356Updated last week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆81Updated last week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆480Updated last week
- The Lean version manager☆439Updated last month
- A fair and infinite implementation of Minesweeper.☆15Updated 2 weeks ago