nix-action

There are 0 repository under nix-action topic.

• coq-community / chapar

  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

  coqdistributed-systemscausal-consistencyocamlkey-valuecoq-extractiondocker-coq-actionnix-action
  Language:Coq 32

• coq-community / aac-tactics

  Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  coq-plugincoq-tacticcoqdocker-coq-actionnix-actioncoq-cicoq-platform
  Language:OCaml 29

• coq-community / sudoku

  A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

  coqnix-actionsudoku
  Language:Coq 20

• coq-community / qarith-stern-brocot

  Binary rational numbers in Coq [maintainer=@herbelin]

  coq-librarycoqrational-numberspaper-artifactsdocker-coq-actionnix-action
  Language:Coq 12

• coq-community / buchberger

  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]

  coqcoq-extractiongrobner-basisbuchberger-algorithmdocker-coq-actionnix-action
  Language:Coq 8

• coq-community / almost-full

  Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]

  coqramseyterminationpaper-artifactsdocker-coq-actionnix-action
  Language:Coq 3

• coq-community / jmlcoq

  Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]

  coqjmlruntime-checkingjavadocker-coq-actionnix-action
  Language:Coq 3

• coq-community / pocklington

  Pocklington's criterion for primality in Coq [maintainer=@Casteran]

  coqprime-numbersprimality-testingdocker-coq-actionnix-action
  Language:Coq 2

• coq-community / stalmarck

  Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]

  coq-extractioncoq-plugincoqdocker-coq-actionnix-actioncoq-citautology-checkingtautology
  Language:Coq 1