mattam82

mattam82's Stars

• CoqHott/logrel-coq

  Logical Relation for MLTT in Coq

  Language:Coq193

• CoqHott/logrel-mltt

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

  Language:HTML53

• bokuweb/vscode-git-grep

  Git grep extension for Visual Studio Code

  Language:TypeScript133

• mattam82/Forcing

  Forcing layer on top of Coq

  Language:Coq151

• 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:OCaml5

• mattam82/math-classes

  Language:Verilog2

• mattam82/Coq-misc

  Misc hacks on Coq

  Language:Coq2

• robbertkrebbers/math-classes

  Language:Coq62

• mattam82/Reify

  Reification for Coq

  Language:OCaml1

• mattam82/Constructors

  Example Coq plugin

  Language:OCaml163

• mattam82/Coq-Equations

  A function definition package for Coq

  Language:Coq22344

• mattam82/Coq--RTL

  A formalization of λRTL in Coq

  Language:Verilog2