GuillaumeGen

GuillaumeGen's Stars

• Deducteam/Agda2Dedukti

  Language:Haskell164

• Deducteam/SizeChangeTool

  A termination checker for higher-order rewriting with dependent types

  Language:OCaml9

• Deducteam/Dedukti

  Implementation of the λΠ-calculus modulo rewriting

  Language:OCaml19621

• BillHallahan/G2

  Language:Haskell336

• ret/specifica

  Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

  Language:Haskell242

• tweag/pirouette

  Language-generic workbench for building static analysis

  Language:Haskell472

• Deducteam/Logipedia

  An encyclopedia of proofs

  Language:OCaml5611

• Deducteam/lambdapi

  Proof assistant based on the λΠ-calculus modulo rewriting

  Language:OCaml26835