social-anthrax / IADS_algorithmsLinks
A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
☆21Updated 3 years ago
Alternatives and similar repositories for IADS_algorithms
Users that are interested in IADS_algorithms are comparing it to the libraries listed below
Sorting:
- Tree Proof Generator☆172Updated 7 months ago
- Server to host lean games.☆320Updated this week
- Natural Number Game☆222Updated this week
- Visual Studio Code extension for Coq☆407Updated 2 weeks ago
- コード例で学ぶ Lean 言語☆116Updated last week
- ☆27Updated 9 months ago
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆38Updated last year
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆73Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆455Updated 2 months ago
- Formalization of Mathematical Logic☆158Updated this week
- ☆341Updated last week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆229Updated 6 months ago
- Chess/Chess960 engine.☆30Updated last month
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 4 years ago
- An introduction to theorem proving in Lean for the impatient.☆258Updated last week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆699Updated last week
- agda-mode on VS Code☆179Updated last week
- These are Lean translations of Ninety-Nine Haskell Problems (WIP)☆18Updated 7 months ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆218Updated 2 months ago
- Markdown file of the list and explanations of all mathlib4 tactics☆50Updated last year
- A simple raytracer written in Lean 4☆140Updated last year
- PL conference deadline countdowns☆62Updated 3 weeks ago
- Coq code formatter☆23Updated 3 weeks ago
- Chess engine entirely written in Haskell☆53Updated 4 months ago
- HoTTEST Summer School materials☆311Updated 3 months ago
- A formal logic framework that runs in the browser☆302Updated 9 months ago
- ☆11Updated 8 months ago
- Book about using Lean with How To Prove It☆21Updated last week
- Lecture notes on realizability☆74Updated 7 months ago