issues
search
hrmacbeth
/
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
152
stars
59
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Possible bug in `cancel` tactic?
#17
jdfm
opened
2 weeks ago
0
Errata chapters 6–10 plus tactics index
#16
dfpetrin
opened
4 weeks ago
0
exercises 1.3.11 (10) and (15) not possible using given tactics?
#15
rzeta0
closed
1 month ago
2
Homework 7 problem 1 (small) typo
#14
dfpetrin
closed
1 month ago
1
Homework 4 problem 2 typo
#13
dfpetrin
closed
2 months ago
1
Update 09_Sets.html
#12
krenax
closed
1 month ago
0
Complete Ch 2 - 3.2
#11
lukechen526
closed
4 months ago
0
updated container setting for VS
#10
lukechen526
closed
4 months ago
0
Don't override theme settings
#9
adriandole
opened
5 months ago
0
typeclass instance problem is stuck, it is often due to metavariables
#8
grindingpeon
closed
5 months ago
1
Errata chapters 1–5
#7
dfpetrin
closed
5 months ago
3
Unable to run locally
#6
arbitrary-dev
closed
6 months ago
22
Add `by` keyword to start the proofs
#5
therewillbecode
opened
8 months ago
2
A couple of typos
#4
zhassan-aws
closed
7 months ago
2
Bump mathlib and Lean
#3
PatrickMassot
closed
7 months ago
5
Question: How is Lean automatically graded?
#2
Seasawher
closed
10 months ago
1
Update 02_Proving_Equalities_in_Lean.lean
#1
VhRvo
closed
12 months ago
0