gitlab.math.univ-paris-diderot.fr / cauderlier
cauderlier/dktactics
Dependently-typed tactics and certificate checking in Meta Dedukti
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
cauderlier/dktransfer
A transfer tactic for Meta Dedukti
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
cauderlier/math_transfer
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
cauderlier/univalence-elim
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
cauderlier/dk_fol_parser
A parser for Dedukti first-order problems as produced by FoCaLiZe that can pretty-print the problems in other formats.
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
cauderlier/rec2dk
Rec to Dedukti translator
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0