roohitavaf / DKVFLinks
☆10Updated 4 years ago
Alternatives and similar repositories for DKVF
Users that are interested in DKVF are comparing it to the libraries listed below
Sorting:
- Kleene algebra modulo theories☆27Updated 2 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated last month
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Updated 7 years ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 7 months ago
- SIGPLAN website☆11Updated this week
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- ☆19Updated 8 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID☆59Updated 2 months ago
- Library classes for the Twelf Proof System☆22Updated 4 years ago
- ☆27Updated 5 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- Coq library for serialization to S-expressions☆19Updated last year
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 4 months ago
- The Zenon theorem prover☆15Updated last year
- A termination checker for higher-order rewriting with dependent types☆10Updated 5 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆24Updated 2 months ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Partial Commutative Monoids☆28Updated last month
- KITTeL/KoAT☆21Updated 6 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆12Updated 4 years ago
- Constraint solver based on abstract domains☆32Updated 7 months ago
- A Haskell library for declarative programming over eventually consistent store (Cassandra).☆18Updated 7 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆13Updated 10 months ago
- Relation algebra library for Coq☆48Updated 2 months ago
- ☆49Updated 4 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated 10 months ago
- Proposal for an Agda tutorial☆11Updated 6 years ago