target to typecheck the dedukti library

Deducteam / Logipedia

An encyclopedia of proofs

57 stars 11 forks source link

target to typecheck the dedukti library #7

Closed rprimet closed 5 years ago

rprimet commented 5 years ago

Would it be possible to add a Makefile target that runs dkcheck on either a single .dk file (plus dependencies) or the whole set of dedukti files in the library?