issues
search
PatrickMassot
/
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
Apache License 2.0
95
stars
44
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add Topic: Probability
#13
LorenzoLuccioli
opened
5 days ago
6
Bump Mathlib and Lean
#12
LorenzoLuccioli
closed
4 days ago
0
Convert GlimpseOfLean into Lean Games for Beginners
#11
RexWzh
opened
3 weeks ago
3
Bump Lean and Mathlib
#10
pitmonticone
closed
2 weeks ago
0
refactor(Library/Basic): format and golf
#9
pitmonticone
closed
2 weeks ago
0
Bump dependencies, fix linter warnings, upgrade lemmas
#8
pitmonticone
closed
4 weeks ago
0
Fix minor typos
#7
pitmonticone
closed
4 weeks ago
0
Is the intuitionistic valid_of_provable sound?
#6
jmaessen
opened
10 months ago
0
Broken example?
#5
Erotemic
closed
4 weeks ago
2
Fix typos
#4
DenisGorbachev
closed
4 weeks ago
1
Fix a few typos
#3
pitmonticone
closed
4 weeks ago
0
Changes from the Logic colloquium
#2
fpvandoorn
closed
1 year ago
0
Fix two typos in Introduction.lean
#1
jcommelin
closed
1 year ago
0