Zobrazeno 1 - 10
of 933
pro vyhledávání: '"Spencer William"'
Autor:
Shah, Bhakti, Spencer, William, Zielinski, Laura, Caldwell, Ben, Lehmann, Adrian, Rand, Robert
We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with their own verification projects. Upon verifying relevant coherence cond
Externí odkaz:
http://arxiv.org/abs/2404.08163
Publikováno v:
In Minerals Engineering February 2025 221
Autor:
Spencer, William, Senanayake, Gamini, Altarawneh, Mohammednoor, Ibana, Don, Nikoloski, Aleksandar N.
Publikováno v:
In Minerals Engineering 15 July 2024 212
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Minerals Engineering September 2022 187