slepice: towards a verified implementation of type theory in type theory. (English) Zbl 07496645
Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 133-150 (2021).
MSC:
68N30