yogesh1q2w / Dynamic-Graph-Algorithms
☆13Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Dynamic-Graph-Algorithms
- ☆13Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆28Updated 5 years ago
- Polynomial semantics of linear logic☆13Updated 6 years ago
- Implementation of higher-order logic in Python☆58Updated last year
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated 2 months ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 6 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 4 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆27Updated 3 years ago
- Linear Algebra Done...Lean☆16Updated 6 years ago
- LLVM support for the lean theorem prover☆31Updated 3 years ago
- A monadic library for symbolic evaluation☆55Updated 2 weeks ago
- Synthesis Format Conversion Tool☆23Updated 3 months ago
- Automated Theorem Prover for Automatic Words☆21Updated 3 years ago
- Lean 4 as a scripting language in Houdini☆15Updated 8 months ago
- Successor to PolyBoRi☆17Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆73Updated last year
- Formalizing convex polyhedra in Coq☆22Updated 4 months ago
- Agda category theory library for denotational design☆48Updated 5 months ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆18Updated 4 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated last year
- Encoding of GHC Core inside MLIR☆18Updated 4 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Updated 3 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆66Updated 4 years ago
- A style guide for Coq☆17Updated 2 years ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆86Updated 2 months ago