Course materials for Chalmers TPIL25 class
☆15Feb 13, 2025Updated last year
Alternatives and similar repositories for tpil25
Users that are interested in tpil25 are comparing it to the libraries listed below
Sorting:
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- VSCode support for Forester☆22Nov 17, 2025Updated 3 months ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 3 months ago
- Toy implementation of Martin-Löf Type Theory☆30Aug 29, 2022Updated 3 years ago
- 👹 A library for hierarchical names and lexical scoping☆26Nov 21, 2025Updated 3 months ago
- Type Checking in Lean 4☆34Updated this week
- Learning Formal Mathematics from Intrinsic Motivation☆37Jul 10, 2025Updated 7 months ago
- ☆12Mar 13, 2025Updated 11 months ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- Code snippets☆11Dec 2, 2024Updated last year
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 8 months ago
- Troopers Conference Supporting Materials☆12Apr 8, 2015Updated 10 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years ago
- ☆16Jun 9, 2024Updated last year
- CoqIDE-like experience for kakoune☆10Nov 8, 2022Updated 3 years ago
- Multi-arch Docker images for Idris 2☆13Feb 9, 2026Updated 3 weeks ago
- ☆16Jun 22, 2024Updated last year
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 3 months ago
- Implementation 2-3 heap on C++☆11Dec 16, 2014Updated 11 years ago
- linux kernel system call hooking☆18Dec 13, 2014Updated 11 years ago
- Haskell library dealing with vkontakte social network☆12May 6, 2019Updated 6 years ago
- Improv JS Work-in-Progress☆12Feb 20, 2016Updated 10 years ago
- ☆14Feb 14, 2025Updated last year
- My Agda blog/lab/playground☆12Feb 12, 2026Updated 3 weeks ago
- A throughput benchmarking tool for network topologies☆11Nov 22, 2016Updated 9 years ago
- a Lean4 framework for the modeling and refinement of stateful systems☆25Dec 19, 2025Updated 2 months ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 3 weeks ago
- Terminal feed aggregator and launcher for Youtube channels☆10Dec 20, 2023Updated 2 years ago
- ☆12Jul 18, 2022Updated 3 years ago
- Standard ML Infrastructure for writing LSP servers☆14Feb 6, 2026Updated 3 weeks ago
- Zig module for portably serializing and deserializing data☆19Apr 15, 2025Updated 10 months ago
- All and up-to-date tree-sitter grammars built for nix.☆15Feb 8, 2025Updated last year
- Links to recourses for the Lean Theorem Prover☆12Dec 3, 2019Updated 6 years ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- Allows speech to text input using Vosk and Nerd Dictation.☆20Aug 10, 2024Updated last year