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: Coq - Size: 618 KB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 6 - Forks: 4

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