abigalekim / segtreesLinks
Several translations of segment trees for CMU's 15-451 (Algorithms).
☆22Updated 4 years ago
Alternatives and similar repositories for segtrees
Users that are interested in segtrees are comparing it to the libraries listed below
Sorting:
- ☆234Updated last year
- HoTTEST Summer School materials☆320Updated 7 months ago
- PL conference deadline countdowns☆63Updated last month
- Visual Studio Code extension for Coq☆428Updated last month
- The Ott tool for writing definitions of programming languages and calculi☆398Updated last year
- agda-mode on VS Code☆182Updated last week
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 4 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 7 months ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆57Updated 5 years ago
- A function definition package for Coq☆235Updated this week
- EPIT 2020 - Spring School on Homotopy Type Theory☆110Updated 4 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆282Updated 3 months ago
- Official repository of the Autosubst 2 project.☆25Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Updated last year
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆225Updated 2 months ago
- A demo implementation of a simple dependently-typed language☆616Updated last year
- A systems theorem prover☆12Updated 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…☆116Updated 9 months ago
- ☆67Updated 4 months ago
- A new Categories library for Agda☆392Updated last week
- A best-first-search theorem prover implemented in Isabelle☆36Updated 3 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆232Updated last week
- A library of mechanised undecidability proofs in the Coq proof assistant.☆127Updated last week
- Contextual types meet mechanized metatheory!☆206Updated 3 months ago
- An experimental library for Cubical Agda☆529Updated last week
- A Library for Representing Recursive and Impure Programs in Coq☆239Updated last month
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆496Updated this week
- Categorical Logic Notes☆81Updated 3 years ago
- The agda-unimath library☆280Updated this week
- Modeling and Proving in Computational Type Theory☆120Updated 5 months ago