---
title: "Learn Mathematics and Computer Science with Isabelle"
author: "Aleksadner Mendoza"
date: "2023-02-10T20:19:56Z"
tags: [Course]
link: "https://bookdown.org/aleksander_mendoza_drosik/learn-isabelle/"
length_weight: "8.6%"
repo: "rstudio/bookdown-demo"
pinned: false
---

Learn Mathematics and Computer Science with Isabelle [...] The goal is to develop deep understanding in mathematics while at the same time also learn Isabelle and its standard library. I couldn’t find any existing resources like this so I decided to write one myself. Our goal is to first learn the basics of Isabelle without getting too deep into irrelevant details. Then we should move on to studying actual mathematics as quickly as possible. Any remaining details of Isabelle will be introduced as needed. We will go though all of undergradute maths courses (and touch on graduate level topics) ...
