goDoCer / imperial-computing-materials-downloader
Automated downloader for Imperial College London Department of Computing Materials platform
☆8Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for imperial-computing-materials-downloader
- ☆9Updated 4 years ago
- run and encode simple register machine programs☆14Updated 3 years ago
- My past paper solutions for the Haskell final test at Imperial College London☆8Updated 7 years ago
- Notes for first year Computing at Imperial College London☆49Updated 2 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated 2 years ago
- Object-oriented programming in Python for mathematicians☆11Updated 2 weeks ago
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated 2 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆79Updated last year
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆163Updated this week
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- The WIP book for CPSC 411☆59Updated last month
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated last year
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆34Updated last year
- A proof assistant for higher-dimensional type theory☆146Updated this week
- LaTeX code for a paper on lean's type theory☆119Updated 2 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆156Updated 8 months ago
- Experiments in automation for Lean☆72Updated this week
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆97Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆102Updated 4 months ago
- HoTTEST Summer School materials☆288Updated last year
- Visual Studio Code extension for the Lean 4 proof assistant☆169Updated this week
- Coq code formatter☆21Updated this week
- A book about functional programming in Lean☆39Updated 9 months ago
- ☆51Updated this week
- Interactive Coq Proofs in Vim☆274Updated last month
- 😎TT☆218Updated last year
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆110Updated 3 months ago