ENS-Lean_course: Homework 2 (Logic). ~ Roman Soletskyi. tinyurl.com/2755evuo#ITP#LeanProver#Lean4#Math

Readings shared September 30, 2024. jaalonso.github.io/vestigium/po...#ITP#LeanProver#Lean4#Math#LambdaCalculus

Readings shared September 30, 2024

The readings shared in Mastodon on 30 September 2024 are Readings shared September 29, 2024. #ITP #LeanProver #Lean4 #Logic #Math #Haskell #FunctionalProgramming #Prolog #ASP #LogicProgramming #AI In

How to read Lean. ~ Martin Dvořák. is.gd/sSrDoR#ITP#LeanProver#Math

GitHub - madvorak/read-lean: How to read Lean

How to read Lean. Contribute to madvorak/read-lean development by creating an account on GitHub.

Readings shared September 29, 2024. jaalonso.github.io/vestigium/po...#ITP#LeanProver#Lean4#Logic#Math#Haskell#FunctionalProgramming#Prolog#ASP#LogicProgramming#AI

Readings shared September 29, 2024

The readings shared in Mastodon on 29 September 2024 are Readings shared September 28, 2024. #ITP #LeanProver #IsabelleHOL #Coq #HOLLight #Logic #Math M2Lyon2425: Sets and functions (Solutions). ~ Fi

ENS-Lean_course: Logic in Lean4. ~ Roman Soletskyi. is.gd/vzuFQv#ITP#LeanProver#Lean4#Math

ENS-Lean_course: Homework 1 (Sep 21, 2024). ~ Roman Soletskyi. is.gd/mKtmY7#ITP#LeanProver#Lean4#Math

ENS-Lean_course: Lean style guidelines. ~ Roman Soletskyi. is.gd/EZLyou#ITP#LeanProver#Lean4#Math

ENS-Lean_course: Using theorems in Lean. ~ Roman Soletskyi. is.gd/sd1FJI#ITP#LeanProver#Lean4#Math

ENS-Lean_course: Proofs by calculation. ~ Roman Soletskyi. is.gd/MCptLu#ITP#LeanProver#Lean4#Math

ENS-Lean_course: Introduction to Lean. ~ Roman Soletskyi. is.gd/ClUvLL#ITP#LeanProver#Lean4#Math