Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: dedukti

Deducteam/hol2dk

HOL-Light to Dedukti/Lambdapi translator

Language: Rocq Prover - Size: 557 KB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 6 - Forks: 4

Related Keywords
coq 1 dedukti 1 hol-light 1 lambdapi 1 proof 1 translation 1