You are viewing the
staging branch
of the website @
884bba1
, not the
live version
.
Dismiss
Search Rocq packages
max) { row = max } }" @keyup.up="if (row !== null) { row -=1; if (row < 0) { row = null } }" @keyup.right="if (col < 1) col++" @keyup.left="if (col >= 1) col--" :aria-activedescendant="row !== null ? 'package-autocomplete-'+row+'-'+col : null" hx-get="/packages/autocomplete" hx-params="q" hx-trigger="keyup changed, search" hx-target="#header-search-results" hx-indicator="#header-search-indicator" autocomplete="off" >
Standard Library
Learn
Platform
Packages
Community
Consortium
News
Get Started
Search Rocq packages
Learn
Platform
Packages
Community
Consortium
News
Standard Library
Get started
Extraction de programmes dans le calcul des constructions. (Program extraction in the calculus of constructions)
Christine Paulin-Mohring, Paris Diderot University, France — 1989
Links
URL
Abstract