The translated version of my PhD thesis.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Samae daf3503a2e Add gitignore 2 months ago
biblio Initial commit 6 years ago
builderbot Updating ghc and texlive 2 months ago
data Initial commit 6 years ago
figures Updating ghc and texlive 2 months ago
fonts Initial commit 6 years ago
.gitignore Add gitignore 2 months ago
README.md Translating the README 2 months ago
common-headers.tex Cleanup 6 years ago
default.nix Updating ghc and texlive 2 months ago
flake.lock Updating ghc and texlive 2 months ago
flake.nix Updating ghc and texlive 2 months ago
main.tex Initial commit 6 years ago
operateurs.tex Initial commit 6 years ago
partie-activite.tex Notes de relecture de Hannah 6 years ago
partie-conclusion.tex Notes de relecture de Hannah 6 years ago
partie-introduction.tex Notes de relecture de Hannah 6 years ago
partie-multi-modele.tex Updating ghc and texlive 2 months ago
partie-otb.tex Updating ghc and texlive 2 months ago
preview.pdf Ajout de preview 6 years ago
remerciements.tex Initial commit 6 years ago
resume.tex Cleanup 6 years ago
sigles.tex Updating ghc and texlive 2 months ago

README.md

git repo for my PhD thesis

The original (as submited for archiving) is written in French, and can be found at https://git.marvid.fr/mpo/phd-thesis-fr

Re-generating the PDF

The most straightforward way to re-generate the manuscript is to use nix-shell. This command is provided by nix [0] and will take care of pulling all the necessary dependencies necessary to compile this project.

At the root, simply type:

$ nix-shell

and then:

$ buildthesis && buildthesis

The PDF can be found already built in this repository, under the name preview.pdf.

LACL - Université Paris Est Créteil Funded in part by the ANR SYNBIOTIC research project Martin POTIER

[0] http://nixos.org/nix/