cauderlier/dktactics

Dependently-typed tactics and certificate checking in Meta Dedukti

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/dktransfer

A transfer tactic for Meta Dedukti

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/math_transfer

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/dklib

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/univalence-elim

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 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.

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/rec2dk

Rec to Dedukti translator

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/sigmaid

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0