abigalekim / segtreesLinks
Several translations of segment trees for CMU's 15-451 (Algorithms).
☆21Updated 4 years ago
Alternatives and similar repositories for segtrees
Users that are interested in segtrees are comparing it to the libraries listed below
Sorting:
- ☆233Updated last year
- A collection of tools for writing technical documents that mix Coq code and prose.☆265Updated this week
- PL conference deadline countdowns☆61Updated 3 weeks ago
- HoTTEST Summer School materials☆309Updated 2 months ago
- Visual Studio Code extension for Coq☆399Updated last week
- ☆52Updated 8 months ago
- Formal verification for OCaml☆266Updated last year
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 3 years ago
- A function definition package for Coq☆232Updated last month
- Contextual types meet mechanized metatheory!☆197Updated 2 months ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆12Updated 2 years ago
- agda-mode on VS Code☆176Updated last week
- Official repository of the Autosubst 2 project.☆23Updated 2 years ago
- Ltac2 tutorial☆45Updated 2 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆108Updated 4 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆22Updated last week
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- The agda-unimath library☆261Updated this week
- 😎TT☆231Updated last year
- 15-819 (Homotopy Type Theory) Lecture Notes☆55Updated 4 years ago
- Categorical Logic Notes☆79Updated 3 years ago
- A Library for Representing Recursive and Impure Programs in Coq☆229Updated last month
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆109Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆523Updated 2 months ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Arthur's Formal Metatheory in Coq☆18Updated last year
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated 4 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆90Updated last week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆183Updated this week