dedukti

Here are 6 public repositories matching this topic...

Alternative implementation of the logical framework Dedukti in Rust

rust typechecker dependent-types logic dedukti

WIP translation from Lean to Dedukti

dedukti lean4

HOL-Light to Dedukti/Lambdapi translator

translation proof dedukti lambdapi hol-light rocq-prover

Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).

ocaml tptp vampire automated-theorem-provers dedukti tstp lambdapi zenon-modulo e-prover zipperposition

Alternative implementation of the logical framework Dedukti

haskell typechecker dependent-types logic dedukti

Vim syntax for Dedukti file format

vim-plugin dedukti

To associate your repository with the dedukti topic, visit your repo's landing page and select "manage topics."