Skip to content
A collection of hand-written files for Dedukti
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples/sudoku
paradoxes
theories
.gitignore
Makefile
README.md

README.md

Libraries

A collection of hand-written files for Dedukti

Description of the directories:

  • theories contains theory files written in Dedukti. A theory file is used to type check other Dedukti files encoded in this theory. Usually, these files are generated by one of our generators.
  • paradoxes contains several paradoxes of theories encoded in Dedukti.
You can’t perform that action at this time.