OliverKillane / Imperial-Computing-Year-2-NotesLinks
Notes for the Lectures of Year 2 Computing 2021-22
☆41Updated 2 years ago
Alternatives and similar repositories for Imperial-Computing-Year-2-Notes
Users that are interested in Imperial-Computing-Year-2-Notes are comparing it to the libraries listed below
Sorting:
- A selection of textbook-like course notes for the Imperial College Computing modules.☆80Updated last year
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated 2 years ago
- My past paper solutions for the Haskell final test at Imperial College London☆7Updated 7 years ago
- Notes for first year Computing at Imperial College London☆51Updated 3 years ago
- A fast and modern parser combinator library for Scala☆196Updated last month
- ☆17Updated 3 years ago
- Notes for second year Computing at Imperial College London☆16Updated 6 years ago
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆21Updated this week
- Server to host lean games.☆278Updated this week
- Refreshed parsec-style library for compatibility with Scala parsley☆21Updated 2 months ago
- A systems theorem prover☆11Updated last year
- Natural Number Game☆182Updated 3 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆174Updated this week
- ☆9Updated 5 years ago
- run and encode simple register machine programs☆14Updated 3 years ago
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- Natural language tactics to teach mathematics using Lean 4☆79Updated last month
- ☆254Updated 3 months ago
- Course notes for Formalising Mathematics 2025☆52Updated 3 months ago
- Logic and Mechanized Reasoning☆104Updated 4 months ago
- A proof assistant for higher-dimensional type theory☆200Updated last week
- An introduction to theorem proving in Lean for the impatient.☆210Updated last month
- HoTTEST Summer School materials☆300Updated 3 weeks ago
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 4 years ago
- Lean 4 tutorial files☆39Updated 3 weeks ago
- Embedding Pointful Array Programming in Python☆17Updated 9 months ago
- Notes for third year Computing at Imperial College London (incomplete)☆11Updated 6 years ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆144Updated 3 weeks ago
- Experiments in automation for Lean☆115Updated last week
- Scientific computing in Lean 4☆411Updated 2 weeks ago