Articles describing the library export

Name
Last commit
Last update
fr-macros Loading commit data...
README.md Loading commit data...
conc.tex Loading commit data...
coq-details.tex Loading commit data...
coq.tex Loading commit data...
export.tex Loading commit data...
intro.tex Loading commit data...
libraries.tex Loading commit data...
local.sty Loading commit data...
logic.tex Loading commit data...
logic_details.tex Loading commit data...
mmt.tex Loading commit data...
paper.tex Loading commit data...
rebuttal.txt Loading commit data...
reviews.txt Loading commit data...
sections-trans.tex Loading commit data...