lin-e / imperial-revision
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for imperial-revision
- A selection of textbook-like course notes for the Imperial College Computing modules.☆60Updated 7 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆40Updated last year
- Notes for first year Computing at Imperial College London☆49Updated 2 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated last year
- Notes for second year Computing at Imperial College London☆15Updated 5 years ago
- ☆9Updated 4 years ago
- run and encode simple register machine programs☆14Updated 3 years ago
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 3 years ago
- My past paper solutions for the Haskell final test at Imperial College London☆8Updated 7 years ago
- Lecture course on verified Functional Data Structures☆26Updated 4 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- ☆222Updated 3 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆499Updated 2 months ago
- Visual Studio Code extension for Coq☆342Updated this week
- CS 704 course website - Principles of Programming Languages☆69Updated last year
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last year
- Staged compilation with dependent types☆161Updated this week
- Modeling and Proving in Computational Type Theory☆80Updated 3 months ago
- Solution to Algebra, Chapter 0☆86Updated 8 months ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆46Updated 4 years ago
- An interactive theorem prover based on lambda-tree syntax☆90Updated 3 weeks ago
- Coq code formatter☆21Updated last month
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆35Updated last year
- The Penn Locally Nameless Metatheory Library☆71Updated 4 months ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 6 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- ☆24Updated 4 years ago
- LaTeX code for a paper on lean's type theory☆119Updated 2 years ago
- Educational Proof Assistant for Type Theory☆72Updated 3 months ago