Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: lambdapi

Deducteam/hol2dk

HOL-Light to Dedukti/Lambdapi translator

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

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