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☆11Updated last year
- A verification toolchain for Rust programs☆543Updated this week
- Points for Free: Embedding Pointful Array Programming in Python☆20Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆799Updated this week
- ☆355Updated 4 months ago
- White-box automation for Lean 4☆337Updated this week
- Natural Number Game☆283Updated last month
- The "batteries included" extended library for the Lean programming language and theorem prover☆357Updated this week
- Course notes for Formalising Mathematics 2026☆88Updated this week
- Verified Intermediate Representation☆22Updated this week
- Server to host lean games.☆391Updated 2 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- An introduction to theorem proving in Lean for the impatient.☆327Updated last month
- Lean theorem proving interface which feels like pen-and-paper proofs.☆485Updated last month
- A proof assistant for higher-dimensional type theory☆231Updated this week
- A verifier for automated and interactive proofs about transition systems.☆180Updated 3 weeks ago
- Formalization of Mathematical Logic☆200Updated this week
- Catalog Of Math Problems Formalized In Lean☆227Updated this week
- The Lean Computer Science Library (CSLib)☆255Updated last week
- A formalized proof of Carleson's theorem in Lean☆83Updated this week
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆83Updated 2 months ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆106Updated last month
- Concurrent decision diagram framework written in Rust☆77Updated last month
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆668Updated last week
- Metamath Zero specification language☆373Updated last month
- Natural language tactics to teach mathematics using Lean 4☆115Updated this week
- Lean documentation authoring tool☆251Updated last week
- ☆69Updated 4 months ago
- The agda-unimath library☆283Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆247Updated 10 months ago