feat: add classnotes templates

bibliographies/cs.bib

@@ -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}
+}

templates/cours.tex

@@ -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}

templates/exo.tex

@@ -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}

templates/format_def.tex

@@ -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}