Pinned Loading

1. grammars grammars Public

   Formal grammars in Lean 3

   Lean 7

2. lean3-tactic-lean4 lean3-tactic-lean4 Public

   Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4

   24 2

3. read-lean read-lean Public

   How to read Lean

   Lean 16 2

4. lean4-tactics lean4-tactics Public

   Overview of tactics in Lean 4 for beginners — longer version

   58 2

5. duality duality Public

   Duality theory in linear optimization and its extensions

   Lean 5

6. vcsp vcsp Public

   General-Valued Constraint Satisfaction Problems

   Lean 9 1