Login
Logout
Login / Get an account
Logout
view
revert
history
discuss
Revision 43afe0ed2d93bde2fec9454186bf7a6b17d12e87
Mprime_annot
The Algorithm M’_{annot} for Coq Extractionto Statically Typed Languageswithout Type Inference
Site
Front page
All pages
Categories
Random page
Recent activity
Upload a file
Help
This page
Raw page source
Printable version
Delete this page
LaTeX
ConTeXt
Texinfo
reST
Markdown
CommonMark
Plain text
MediaWiki
Org-mode
ICML
Textile
AsciiDoc
Man page
DocBook
DZSlides
Slidy
S5
EPUB
ODT
DOCX
RTF