Deducteam's repositories
zenon_modulo
First-order automated theorem prover based on the tableau method
predicativize
A tool for sharing proofs with predicative systems
coq-hol-light
HOL-Light library in Coq
isabelle_dedukti
Isabelle component generating Dedukti proofs
lambdapi-logics
Logic files for Lambdapi
lambdapi-stdlib
Repository of Lambdapi developments
Construkti
A double negation translator for higher-order Dedukti proofs
B-in-Dedukti
Implementation of the mathematical theory of the B method in Dedukti
B-pog-translator
Translate a POG file into a lambdapi file
Deducteam.github.io
Webpage for Dedukti and related tools
Dedukti-standard
This repository aims to provide documents which describe the Dedukti standard
hol-light
The HOL Light theorem prover
kontroli-rs
Alternative implementation of the logical framework Dedukti in Rust
opam-lambdapi-repository
Opam repository of Lambdapi libraries
opam-repository
Main public package repository for opam, the source package manager of OCaml.