Skip to content

Commit

Permalink
Signed-off-by: Silvio Fanzon <[email protected]>
Browse files Browse the repository at this point in the history
  • Loading branch information
@sfanzon
sfanzon committed Feb 12, 2024
1 parent eb080f4 commit 85ad0d9
Show file tree
Hide file tree
Showing 28 changed files with 663 additions and 415 deletions.
Binary file modified .DS_Store
View file
Binary file not shown.
2 changes: 1 addition & 1 deletion .quarto/xref/c55cc640
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"headings":["license","reuse","citation"],"entries":[]}
{"entries":[],"headings":["license","reuse","citation"]}
2 changes: 1 addition & 1 deletion docs/site_libs/revealjs/dist/theme/quarto.css
View file

Large diffs are not rendered by default.

Binary file added docs/slides/images/r_working_directory.png
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
54 changes: 27 additions & 27 deletions docs/slides/lecture_1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -365,70 +365,70 @@
--color1: #c6e6ed;
--color2: #1995ad;
}
.Warning {
.Proposition {
--color1: #f4cce0;
--color2: #db4d92;
}
.Notation {
--color1: #c6e6ed;
--color2: #1995ad;
}
.DONE {
--color1: #cce7b1;
--color2: #86b754;
.Warning {
--color1: #f4cce0;
--color2: #db4d92;
}
.Remark {
.Example {
--color1: #bce5de;
--color2: #21aa93;
}
.Theorem {
.Problem {
--color1: #f4cce0;
--color2: #db4d92;
}
.Question {
--color1: #f4cce0;
--color2: #db4d92;
.Remark {
--color1: #bce5de;
--color2: #21aa93;
}
.Lemma {
.Corollary {
--color1: #f4cce0;
--color2: #db4d92;
}
.TODO {
--color1: #e7b1b4;
--color2: #8c3236;
}
.Conjecture {
.Proof {
--color1: #f1f1f2;
--color2: #c0c0c1;
}
.Lemma {
--color1: #f4cce0;
--color2: #db4d92;
}
.Axiom {
.Important {
--color1: #f4cce0;
--color2: #db4d92;
}
.Proof {
--color1: #f1f1f2;
--color2: #c0c0c1;
.Notation {
--color1: #c6e6ed;
--color2: #1995ad;
}
.Corollary {
.Question {
--color1: #f4cce0;
--color2: #db4d92;
}
.Important {
.DONE {
--color1: #cce7b1;
--color2: #86b754;
}
.Theorem {
--color1: #f4cce0;
--color2: #db4d92;
}
.Problem {
.Axiom {
--color1: #f4cce0;
--color2: #db4d92;
}
.Proposition {
.Conjecture {
--color1: #f4cce0;
--color2: #db4d92;
}
.Example {
--color1: #bce5de;
--color2: #21aa93;
}
</style>
</head>
<body class="quarto-light">
Expand Down
64 changes: 32 additions & 32 deletions docs/slides/lecture_10.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -325,73 +325,73 @@
</style>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/css/bootstrap.min.css">
<style>
.DONE {
--color1: #cce7b1;
--color2: #86b754;
}
.Theorem {
--color1: #f4cce0;
--color2: #db4d92;
}
.Important {
--color1: #f4cce0;
--color2: #db4d92;
.Definition {
--color1: #c6e6ed;
--color2: #1995ad;
}
.Warning {
.Question {
--color1: #f4cce0;
--color2: #db4d92;
}
.Notation {
--color1: #c6e6ed;
--color2: #1995ad;
}
.Proposition {
--color1: #f4cce0;
--color2: #db4d92;
}
.Proof {
--color1: #f1f1f2;
--color2: #c0c0c1;
}
.Conjecture {
.Theorem {
--color1: #f4cce0;
--color2: #db4d92;
}
.Problem {
.Remark {
--color1: #bce5de;
--color2: #21aa93;
}
.Warning {
--color1: #f4cce0;
--color2: #db4d92;
}
.Remark {
.Lemma {
--color1: #f4cce0;
--color2: #db4d92;
}
.Example {
--color1: #bce5de;
--color2: #21aa93;
}
.Definition {
--color1: #c6e6ed;
--color2: #1995ad;
.Proposition {
--color1: #f4cce0;
--color2: #db4d92;
}
.Question {
.Axiom {
--color1: #f4cce0;
--color2: #db4d92;
}
.TODO {
--color1: #e7b1b4;
--color2: #8c3236;
}
.Corollary {
--color1: #f4cce0;
--color2: #db4d92;
}
.Axiom {
.DONE {
--color1: #cce7b1;
--color2: #86b754;
}
.Conjecture {
--color1: #f4cce0;
--color2: #db4d92;
}
.Lemma {
.Important {
--color1: #f4cce0;
--color2: #db4d92;
}
.Example {
--color1: #bce5de;
--color2: #21aa93;
}
.TODO {
--color1: #e7b1b4;
--color2: #8c3236;
.Problem {
--color1: #f4cce0;
--color2: #db4d92;
}
</style>
</head>
Expand Down
56 changes: 28 additions & 28 deletions docs/slides/lecture_11.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -325,74 +325,74 @@
</style>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/css/bootstrap.min.css">
<style>
.Corollary {
.Theorem {
--color1: #f4cce0;
--color2: #db4d92;
}
.Notation {
--color1: #c6e6ed;
--color2: #1995ad;
}
.Proof {
--color1: #f1f1f2;
--color2: #c0c0c1;
}
.DONE {
--color1: #cce7b1;
--color2: #86b754;
}
.Conjecture {
.Lemma {
--color1: #f4cce0;
--color2: #db4d92;
}
.Remark {
--color1: #bce5de;
--color2: #21aa93;
}
.Lemma {
.Problem {
--color1: #f4cce0;
--color2: #db4d92;
}
.Example {
--color1: #bce5de;
--color2: #21aa93;
.Corollary {
--color1: #f4cce0;
--color2: #db4d92;
}
.Axiom {
--color1: #f4cce0;
--color2: #db4d92;
}
.Proposition {
--color1: #f4cce0;
--color2: #db4d92;
}
.TODO {
--color1: #e7b1b4;
--color2: #8c3236;
}
.Definition {
.Notation {
--color1: #c6e6ed;
--color2: #1995ad;
}
.Problem {
--color1: #f4cce0;
--color2: #db4d92;
.Example {
--color1: #bce5de;
--color2: #21aa93;
}
.Warning {
.Question {
--color1: #f4cce0;
--color2: #db4d92;
}
.Important {
--color1: #f4cce0;
--color2: #db4d92;
}
.Proposition {
.Warning {
--color1: #f4cce0;
--color2: #db4d92;
}
.Theorem {
--color1: #f4cce0;
--color2: #db4d92;
.Remark {
--color1: #bce5de;
--color2: #21aa93;
}
.Question {
.Definition {
--color1: #c6e6ed;
--color2: #1995ad;
}
.Conjecture {
--color1: #f4cce0;
--color2: #db4d92;
}
.DONE {
--color1: #cce7b1;
--color2: #86b754;
}
</style>
</head>
<body class="quarto-light">
Expand Down
Loading

0 comments on commit 85ad0d9

Please sign in to comment.