Compare commits
2 Commits
0a9b274080
...
04b34fe09b
Author | SHA1 | Date | |
---|---|---|---|
|
04b34fe09b | ||
|
06235670f2 |
38
bibliographies/cs.bib
Normal file
38
bibliographies/cs.bib
Normal file
@ -0,0 +1,38 @@
|
|||||||
|
@inproceedings{myreen2021,
|
||||||
|
title = {A minimalistic verified bootstrapped compiler (proof pearl)},
|
||||||
|
booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs},
|
||||||
|
year = {2021},
|
||||||
|
month = {jan},
|
||||||
|
pages = {32-45},
|
||||||
|
publisher = {ACM},
|
||||||
|
organization = {ACM},
|
||||||
|
address = {New York, NY, USA},
|
||||||
|
isbn = {9781450382991},
|
||||||
|
doi = {10.1145/3437992.3439915},
|
||||||
|
url = {https://dl.acm.org/doi/10.1145/3437992.3439915},
|
||||||
|
author = {Myreen, Magnus O.}
|
||||||
|
}
|
||||||
|
|
||||||
|
@online{cakeML,
|
||||||
|
author = {The CakeML Project},
|
||||||
|
title = {The CakeML Project},
|
||||||
|
year = {2013},
|
||||||
|
url = {https://github.com/CakeML/cakeml},
|
||||||
|
urldate = {2021-11-09}
|
||||||
|
}
|
||||||
|
|
||||||
|
@misc{compCert,
|
||||||
|
author = {INRIA},
|
||||||
|
title = {The CompCert Project},
|
||||||
|
year = {2007},
|
||||||
|
url = {https://compcert.org},
|
||||||
|
urldate = {2021-11-09}
|
||||||
|
}
|
||||||
|
|
||||||
|
@misc{LLVM,
|
||||||
|
author = {The LLVM Foundation},
|
||||||
|
title = {LLVM},
|
||||||
|
year = {2003},
|
||||||
|
url = {https://llvm.org},
|
||||||
|
urldate = {2021-11-14}
|
||||||
|
}
|
13
templates/cours.tex
Normal file
13
templates/cours.tex
Normal file
@ -0,0 +1,13 @@
|
|||||||
|
\documentclass[11pt]{article}
|
||||||
|
\usepackage[a4paper, margin=5em]{geometry}
|
||||||
|
|
||||||
|
\author{David JULIEN}
|
||||||
|
\title{Cours}
|
||||||
|
|
||||||
|
\input{~/documents/ens/templates/format_def.tex}
|
||||||
|
|
||||||
|
\begin{document}
|
||||||
|
|
||||||
|
\maketitle
|
||||||
|
|
||||||
|
\end{document}
|
13
templates/exo.tex
Normal file
13
templates/exo.tex
Normal file
@ -0,0 +1,13 @@
|
|||||||
|
\documentclass[11pt]{article}
|
||||||
|
\usepackage[a4paper, margin=5em]{geometry}
|
||||||
|
|
||||||
|
\author{David JULIEN}
|
||||||
|
\title{Exercices}
|
||||||
|
|
||||||
|
\input{~/documents/ens/templates/format_def.tex}
|
||||||
|
|
||||||
|
\begin{document}
|
||||||
|
|
||||||
|
\maketitle
|
||||||
|
|
||||||
|
\end{document}
|
114
templates/format_def.tex
Normal file
114
templates/format_def.tex
Normal file
@ -0,0 +1,114 @@
|
|||||||
|
\usepackage{amsmath}
|
||||||
|
\usepackage{amssymb}
|
||||||
|
\usepackage{amsthm}
|
||||||
|
\usepackage{mathrsfs}
|
||||||
|
\usepackage{bbold}
|
||||||
|
\usepackage[framemethod=TikZ]{mdframed}
|
||||||
|
|
||||||
|
\usepackage{setspace}
|
||||||
|
\usepackage{enumitem}
|
||||||
|
|
||||||
|
\renewcommand\thesection{\Roman{section}}
|
||||||
|
\renewcommand\thesubsection{\arabic{subsection}}
|
||||||
|
\renewcommand\thesubsubsection{\alph{subsubsection}}
|
||||||
|
|
||||||
|
% ------------------------------------ %
|
||||||
|
|
||||||
|
\newcounter{thm}\setcounter{thm}{0}
|
||||||
|
\renewcommand{\thethm}{\arabic{thm}}
|
||||||
|
\newenvironment{thm}[2][]{
|
||||||
|
\refstepcounter{thm}
|
||||||
|
\ifstrempty{#1}
|
||||||
|
{\mdfsetup{
|
||||||
|
frametitle={%
|
||||||
|
{\strut Theorem~\thethm}}}
|
||||||
|
}
|
||||||
|
{\mdfsetup{
|
||||||
|
frametitle={%
|
||||||
|
{\strut Theorem~\thethm:~#1}}}
|
||||||
|
}
|
||||||
|
\begin{mdframed}[]\relax%
|
||||||
|
\label{#2}}{\end{mdframed}
|
||||||
|
}
|
||||||
|
|
||||||
|
\newcounter{lem}[section]\setcounter{lem}{0}
|
||||||
|
\renewcommand{\thelem}{\arabic{section}.\arabic{lem}}
|
||||||
|
\newenvironment{lem}[2][]{
|
||||||
|
\refstepcounter{lem}
|
||||||
|
\ifstrempty{#1}
|
||||||
|
{\mdfsetup{
|
||||||
|
frametitle={%
|
||||||
|
{\strut Lemma~\thelem}}}
|
||||||
|
}
|
||||||
|
{\mdfsetup{
|
||||||
|
frametitle={%
|
||||||
|
{\strut Lemma~\thelem:~#1}}}
|
||||||
|
}
|
||||||
|
\begin{mdframed}[]\relax%
|
||||||
|
\label{#2}}{\end{mdframed}}
|
||||||
|
|
||||||
|
\newcounter{prop}[subsection]\setcounter{prop}{0}
|
||||||
|
\renewcommand{\theprop}{\arabic{section}.\arabic{prop}}
|
||||||
|
\newenvironment{prop}[2][]{
|
||||||
|
\refstepcounter{prop}
|
||||||
|
\ifstrempty{#1}
|
||||||
|
{\mdfsetup{
|
||||||
|
frametitle={%
|
||||||
|
{\strut Proposition~\theprop}}}
|
||||||
|
}
|
||||||
|
{\mdfsetup{
|
||||||
|
frametitle={%
|
||||||
|
{\strut Proposition~\theprop:~#1}}}
|
||||||
|
}
|
||||||
|
\begin{mdframed}[]\relax%
|
||||||
|
\label{#2}}{\end{mdframed}}
|
||||||
|
|
||||||
|
\newcounter{defn}[section]\setcounter{defn}{0}
|
||||||
|
\renewcommand{\thedefn}{\arabic{defn}}
|
||||||
|
\newenvironment{defn}[2][]{
|
||||||
|
\refstepcounter{defn}
|
||||||
|
\ifstrempty{#1}
|
||||||
|
{\mdfsetup{
|
||||||
|
frametitle={%
|
||||||
|
{\strut Definition~\thedefn}}}
|
||||||
|
}
|
||||||
|
{\mdfsetup{
|
||||||
|
frametitle={%
|
||||||
|
{\strut Definition~\thedefn:~#1}}}
|
||||||
|
}
|
||||||
|
\begin{mdframed}[]\relax%
|
||||||
|
\label{#2}}{\end{mdframed}}
|
||||||
|
|
||||||
|
\theoremstyle{remark}
|
||||||
|
\newtheorem*{rmk}{Remark}
|
||||||
|
|
||||||
|
% ------------------------------------ %
|
||||||
|
|
||||||
|
\usepackage{titlesec}
|
||||||
|
|
||||||
|
\titleformat{\section}
|
||||||
|
{\bfseries}
|
||||||
|
{\thesection. }
|
||||||
|
{0em}
|
||||||
|
{\setstretch{0.4}}[\titlerule]
|
||||||
|
|
||||||
|
\titleformat{\subsection}
|
||||||
|
{}
|
||||||
|
{\thesubsection. }
|
||||||
|
{0em}
|
||||||
|
{\setstretch{0.4}}
|
||||||
|
|
||||||
|
\titleformat{\subsubsection}
|
||||||
|
{}
|
||||||
|
{\thesubsubsection \,- }
|
||||||
|
{0em}
|
||||||
|
{\setstretch{0.4}}
|
||||||
|
|
||||||
|
% ------------------------------------ %
|
||||||
|
%
|
||||||
|
\usepackage{fancyhdr}
|
||||||
|
|
||||||
|
\pagestyle{fancy}
|
||||||
|
\fancyhf{}
|
||||||
|
\lhead{\nouppercase{\leftmark}}
|
||||||
|
\rfoot{Page \thepage}
|
Loading…
Reference in New Issue
Block a user