Pages that link to "Item:Q4559809"

From MaRDI portal

← Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (Q4559809)

Jump to:navigation, search

The following pages link to Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (Q4559809):

Displaying 1 item.

\texttt{slepice}: towards a verified implementation of type theory in type theory (Q2119108) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"