Logic and Computation
CS 2800 Fall 2023


Khoury College of Computer Sciences
Northeastern University

LEAN info

We will use the LEAN theorem prover.

We will use LEAN version 3.

Please use the LEAN 3 community website for installation instructions, etc.