Suivre
Bohdan Liesnikov
Bohdan Liesnikov
Autres nomsБогдан Лєсніков
TU Delft
Adresse e-mail validée de tudelft.nl - Page d'accueil
Titre
Citée par
Citée par
Année
Generating induction principles and subterm relations for inductive types using MetaCoq
B Liesnikov, M Ullrich, Y Forster
arXiv preprint arXiv:2006.15135, 2020
52020
Building an elaborator using extensible constraints
B Liesnikov, J Cockx
29th International Conference on Types for Proofs and Programs TYPES 2023 …, 0
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–2