Alternatives and similar repositories for styles:

Users that are interested in styles are comparing it to the libraries listed below

• theoremprover-museum / theoremprover-museum.github.io
  ☆52Updated 3 months ago
• ufmg-smite / carcara
  ☆34Updated last week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆82Updated this week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆100Updated last month
• coq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆89Updated last month
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆250Updated 3 weeks ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆158Updated 6 months ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• coq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆37Updated 7 months ago
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated last month
• JasonGross / coq-tools
  Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
  ☆42Updated this week
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 4 years ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆59Updated last year
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated last week
• coq-community / coqeal
  The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
  ☆69Updated 3 weeks ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆83Updated 6 months ago
• coq-community / semantics
  A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…
  ☆48Updated 3 years ago
• rocq-archive / coq-in-coq
  A formalisation of the Calculus of Constructions
  ☆67Updated 7 months ago
• damien-pous / relation-algebra
  Relation algebra library for Coq
  ☆48Updated 2 weeks ago
• coq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆117Updated last month
• coq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆165Updated 4 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆137Updated last week
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆91Updated 8 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆76Updated 3 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆57Updated 2 weeks ago
• coq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆114Updated last month
• julesjacobs / boa
  Partition refinement
  ☆15Updated last year