mattam82

mattam82's Stars

• mattam82/Coq-Equations

  A function definition package for Coq

  Language:Coq2231023444

• CoqHott/logrel-coq

  Logical Relation for MLTT in Coq

  Language:Coq19133

• mattam82/Constructors

  Example Coq plugin

  Language:OCaml16303

• mattam82/Forcing

  Forcing layer on top of Coq

  Language:Coq15501

• bokuweb/vscode-git-grep

  Git grep extension for Visual Studio Code

  Language:TypeScript13463

• robbertkrebbers/math-classes

  Language:Coq6102

• CoqHott/logrel-mltt

  A Logical Relation for Martin-Löf Type Theory in Agda

  Language:HTML5703

• mattam82/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml5430

• mattam82/Coq--RTL

  A formalization of λRTL in Coq

  Language:Verilog2

• mattam82/Coq-misc

  Misc hacks on Coq

  Language:Coq240

• mattam82/math-classes

  Language:Verilog230

• mattam82/Reify

  Reification for Coq

  Language:OCaml1