Automatic and transparent transfer of theorems in the Coq proof assistant - Authorea

AUTHOREA

Log in Sign Up Browse Preprints

LOG IN SIGN UP

loading page

this is for holding javascript data

Download ZIP
Download LaTeX
Track citations
Fork (make a copy)

54

1

Automatic and transparent transfer of theorems in the Coq proof assistant

Théo Zimmermann

Théo Zimmermann

Corresponding Author:[email protected]

Home
About
Product
Preprints
Pricing
Blog
Twitter
Help
Terms of Use
Privacy Policy