Skip to main content
Alex Byard's user avatar
Alex Byard's user avatar
Alex Byard's user avatar
Alex Byard
  • Member for 1 year, 3 months
  • Last seen more than a month ago
  • Chicago, IL
6 votes
2 answers
362 views

Type Theory Lean 3 to Lean 4

5 votes
1 answer
407 views

Aesop Tactic in Lean

4 votes
2 answers
155 views

How to think about writing Lean theorems

4 votes
1 answer
2k views

Lean 4 Importing into VSCode

4 votes
1 answer
119 views

Auxiliary Typeclasses in Lean

4 votes
1 answer
512 views

Graph Theory in Lean

2 votes
0 answers
98 views

Must-read Lean 4 Mathlib Files

2 votes
1 answer
329 views

Vectors in Lean

2 votes
1 answer
167 views

Understanding Mathlib/MeasureTheory Notation

1 vote
0 answers
67 views

Can you help me lay out the different variations of CoC and their generalizations?

1 vote
1 answer
53 views

inherit_doc attribute Lean 4

0 votes
0 answers
44 views

General Relativity in Mathlib for Class Project

0 votes
2 answers
160 views

Differential Topology and Differential Geometry Porting to Mathlib4

0 votes
0 answers
269 views

Porting Lean 3 to Lean 4 Process (and the state of general integration in Lean 4)

0 votes
1 answer
88 views

Automatic nightly Lean update?