Update README.md

saona-raimundo · Oct 23, 2023 · bc9e476 · bc9e476
1 parent 4ef4b65
commit bc9e476
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -2,6 +2,9 @@
 
 Formalisms Every Computer Scientist Should Know course at ISTA 2023.
 
+This repo contains LaTeX transcription of the classes.
+There are also [Lean transcriptions of the classes](https://github.com/madvorak/fecssk). 
+
 ## Contributions
 
 1. Type your class in a separate TeX file `class_X.tex`.