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...
consent-coq.pdf Loading commit data...
coq-details.tex Loading commit data...
coq.tex Loading commit data...
export.tex Loading commit data...
final.zip 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...