Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Coq Tactics Open Source Projects

Open source projects categorized as Coq Tactics
Categories > Games > Tactics
Coq Tricks ⭐ 458
Tricks you wish the Coq manual told you
most recent commit 5 months ago
Coqhammer ⭐ 194
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
most recent commit 5 months ago
Coq Elpi ⭐ 117
Coq plugin embedding elpi
most recent commit 3 months ago
Mtac2 ⭐ 50
most recent commit 3 months ago
Coq Lean Cheatsheet ⭐ 45
A quick reference for mapping Coq tactics to Lean tactics
most recent commit 3 years ago
Coqutil ⭐ 41
Coq library for tactics, basic definitions, sets, maps
most recent commit 4 months ago
Relation Algebra ⭐ 39
Relation algebra library for Coq
most recent commit 6 months ago
Tlc ⭐ 33
Library for Classical Coq
most recent commit 5 months ago
Ltac2 Tutorial ⭐ 33
Ltac2 tutorial
most recent commit a year ago
Howtoproveacompiler ⭐ 32
Writeup that goes along with this:
most recent commit 6 years ago
Aac Tactics ⭐ 29
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
most recent commit 4 months ago
Mtacar ⭐ 27
Mtac in Agda
most recent commit 3 years ago
Hahn ⭐ 27
Hahn: A Coq library
most recent commit a year ago
Dblib ⭐ 25
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
most recent commit 3 years ago
Tactic Haskell ⭐ 24
Tactic Metaprogramming in Haskell
most recent commit 5 years ago
Plugin_tutorials ⭐ 23
A collection of small projects to illustrate how to write plugins for Coq
most recent commit 5 years ago
Rewriter ⭐ 22
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
most recent commit 4 months ago
Coq Tutorial Ml Tactics ⭐ 22
A tutorial on how to write OCaml tactics for the Coq proof assistant
most recent commit 7 years ago
Structtact ⭐ 21
Coq utility and tactic library.
most recent commit 4 months ago
Fm Notes ⭐ 19
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
most recent commit a year ago
Libhyps ⭐ 18
A Coq library providing tactics to deal with hypothesis
most recent commit 4 months ago
Howtoprovefullabstraction ⭐ 16
Writeup that goes along with this:
most recent commit 6 years ago
Constructors ⭐ 15
Example Coq plugin
most recent commit 6 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.