LCS in Lean4
LCS in Lean4
Table of Contents
1.
About this project
2.
Introduction to Linear Constraint System Games
3.
Formalising Linear Constraint System Games
1. About this project
→
Formalisation of Linear Constraints Systems games in Lean4
🔗
Sean Perazzolo, Spring 2026
Contents
1.
About this project
2.
Introduction to Linear Constraint System Games
3.
Formalising Linear Constraint System Games
1. About this project
→