Lean for Scala programmers - Part 4
June 01, 2021Proofs and tactics
Personal blog of Juan Pablo Romero Méndez.
Lean for Scala programmers - Part 3
April 16, 2021Dependent Types and Type Classes
Lean for Scala programmers - Part 2
March 14, 2021Inductive types and pattern matching
Lean for Scala programmers
February 28, 2021Exploring dependent types with Lean and Scala
Notes on Category Theory in Scala 3 (Dotty)
December 23, 2019Using Scala to learn Math (and vice versa).