janchorowski / ml_uwr
Materials for my Machine Learning course at University of Wroclaw
☆34Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ml_uwr
- A slightly improved variant of the official thesis sample☆29Updated 6 months ago
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated 7 months 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 Library currently studying for a degree at Imperial College☆228Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆287Updated 9 months ago
- Implementation of Conway's Surreal Numbers☆38Updated last month
- EiTI Szablon MGR INŻ Autor: Piotr Woźniak☆46Updated 5 years ago
- HoTTEST Summer School materials☆289Updated last year
- Logical Verification 2022-2023 course at VU Amsterdam☆17Updated 9 months ago
- This project converts structured Lean code into an interactive browser game.☆74Updated last year
- Mathematical Components☆589Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆127Updated 3 months ago
- Visual Studio Code extension for Coq☆347Updated this week
- An introduction to programming language theory in Agda☆1,372Updated this week
- The agda-unimath library☆223Updated this week
- Repositorio de la optativa para la FCEIA☆16Updated 2 months ago
- An experimental library for Cubical Agda☆459Updated last week
- List of resources for learning Category Theory☆228Updated last year
- Theorem Proving in Lean 4☆164Updated last month
- ☆159Updated 5 years ago
- Source code for the Mathematics in Lean tutorial.☆92Updated 2 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆350Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆206Updated this week
- The Agda standard library☆585Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆367Updated last week
- Notes for first year Computing at Imperial College London☆50Updated 2 years ago
- Server to host lean games.☆197Updated 2 weeks ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆111Updated last month
- Mathematical Components compliant Analysis Library☆207Updated this week
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago