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
- Visual Studio Code extension for Coq☆424Updated last week
- PL conference deadline countdowns☆63Updated 2 weeks ago
- The Ott tool for writing definitions of programming languages and calculi☆398Updated 11 months ago
- A Library for Representing Recursive and Impure Programs in Coq☆238Updated last month
- A function definition package for Coq☆234Updated this week
- HoTTEST Summer School materials☆318Updated 6 months ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆224Updated 2 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆126Updated 10 months ago
- Communication between Coq and SAT/SMT solvers☆160Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆279Updated 3 months ago
- ☆66Updated 3 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 6 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 4 years ago
- agda-mode on VS Code☆181Updated last week
- A formalization of the textbook Elements of Set Theory☆60Updated 4 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆231Updated last month
- Proof assistant based on the λΠ-calculus modulo rewriting☆357Updated last week
- Mathematical Components compliant Analysis Library☆230Updated this week
- Ltac2 tutorial☆46Updated 3 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆109Updated 4 years ago
- A best-first-search theorem prover implemented in Isabelle☆35Updated 3 years ago
- Constructive Interpretations of HoTT☆36Updated 5 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- The Vellvm (Verified LLVM) coq development.☆450Updated this week
- 😎TT☆234Updated last month
- Coq formalizations and proofs of (data) structures and algorithms.☆47Updated 7 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 4 months ago
- Randomized Property-Based Testing Plugin for Coq☆278Updated this week
- A new Categories library for Agda☆391Updated this week