Reservoir

No results found
All Packages

fecssk

Formalisms Every Computer Scientist Should Know (course at ISTA)
  • Readme
  • Versions (1)
  • Dependencies (6)

Formalisms Every Computer Scientist Should Know

Thomas Henzinger teaches this course at ISTA

LaTeX transcribes from the lectures

Timeline

2023-10-10

2023-10-12

2023-10-17

2023-10-24

2023-11-07

2023-11-09

2023-11-16

2023-11-21

2023-11-23

2023-11-30

2023-12-05

How to Lean 4

Setup Lean

Minimalistic online IDE (no installation needed; just copypaste the code and walk through the proof)

Quickstart

Official installation manual

Learn Lean

Natural Number Game (fun interactive tutorial by Kevin Buzzard et al.)

Overview of basic tactics (things you use in proofs, not definitions)

Code from my minicourse (took place at ISTA in 2023-09)

Code from my tutorial (took place at ISTA in 2024-02)

Some motivation

More motivation

  • Unlicense
  • 5 months ago
    Last updated on December 31, 2024 at 5:09:48PM
  • 13 stars

Lean

  • Commit d7fe3aa (latest) builds on its old leanprover/lean4:v4.2.0-rc1
    v4.2.0-rc1
  • 49 more

Repository

madvorak/fecssk

About

  • lean-lang.org
  • The Lean FRO
  • Terms of Use
  • Privacy Policy

Explore

  • Games
  • Playground
  • Community
  • Moogle
  • Loogle

Learn

  • The Lean Manual
  • Theorem Proving in Lean
  • Functional Programming in Lean
  • Mathematics in Lean
  • The Mechanics of Proof
  • How To Prove It With Lean

Social

  • leanprover
  • @leanprover
  • Lean FRO
  • leanprover