issues
search
emap-ed-20242
/
fad
lean code
10
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
como fazer esta chamada
#65
arademaker
opened
5 days ago
0
terminar prova
#64
arademaker
opened
5 days ago
0
AoC2019 day 1
#63
CarCesar
opened
5 days ago
0
Resolvido sorry scanr0
#62
nicolasspaniol
closed
5 days ago
6
Chapter 7 - Resolvendo exercício 7.10
#61
savio160502
closed
5 days ago
3
AoC 2021: day 1 & 2
#60
BrenoRusso
opened
1 week ago
0
Solução do AoC 2020 dia 3
#59
falcaoanderson
opened
1 week ago
0
Greedy algorithms on lists
#58
savio160502
opened
2 weeks ago
0
Ex5.6 e problemas de terminação
#57
szacomelli
opened
2 weeks ago
1
Advent of code 2021
#56
BrenoRusso
opened
2 weeks ago
0
Advent of Code 2020: day 1 and 2
#55
falcaoanderson
closed
2 weeks ago
2
Advent of code 2020
#54
falcaoanderson
opened
3 weeks ago
0
AoC 2018: Day 5 & 6
#53
riqueu
opened
3 weeks ago
0
Termina prova fromSL (tailSL) = tail (fromSL)
#52
nicolasspaniol
closed
2 weeks ago
3
AoC 2017 day 1-2
#51
Patrick20022
closed
1 week ago
3
Advent of Code 2017
#50
Patrick20022
opened
3 weeks ago
1
tail e init
#49
arademaker
closed
3 weeks ago
1
initSL vs tailSL
#48
arademaker
closed
3 weeks ago
6
Terminação mkTree e msort Capítulo 5
#47
nicolasspaniol
closed
3 weeks ago
0
Terminação de initsSL
#46
nicolasspaniol
closed
3 weeks ago
2
adiciona função splitInTwoSL, finaliza initSL e simplifica a prova de tailSL
#45
nicolasspaniol
closed
3 weeks ago
1
Advent of Code 2016 day 2
#44
JaimeWillianCarneiro
opened
3 weeks ago
1
Advent of Code 2019 day 1
#43
CarCesar
opened
3 weeks ago
0
Provada terminação de dropWhileSL
#42
nicolasspaniol
closed
6 days ago
3
AoC 2015 day 6
#41
wellington36
closed
6 days ago
4
AoC 2018 day 1-3
#40
riqueu
closed
3 weeks ago
0
Adding Day 1, 2, 3 and 5 Challenges of AoC-2015
#39
wellington36
closed
3 weeks ago
4
tailSL resolvido
#38
nicolasspaniol
closed
1 month ago
2
Ex 5.15 feito
#37
nicolasspaniol
opened
1 month ago
0
Ex-5.17
#36
mistercapote
opened
1 month ago
0
Exercicio 5.19 - Implementação do Radix Sort para strings
#35
falcaoanderson
closed
2 weeks ago
1
Atividade5.13
#34
CarCesar
closed
4 days ago
1
Does Lean support hashing (MD5)?
#33
wellington36
opened
1 month ago
0
Assignment 5 extra. Day 1 2015
#32
BrenoRusso
closed
3 weeks ago
0
Exercicio 5.8
#31
Patrick20022
closed
1 month ago
0
Sym list 3.1 Assignment 4
#30
riqueu
closed
1 month ago
0
Chapter 5 Ex 11
#29
analununes
opened
1 month ago
0
Resolução do exercício 5.7
#28
savio160502
opened
1 month ago
0
Add exercice 5.10
#27
wellington36
opened
1 month ago
0
Assignment 5 extra. Day 5 2015
#26
JaimeWillianCarneiro
closed
3 weeks ago
1
Adiciona exercício 12 do cap 5
#25
TFrankeM
closed
1 day ago
3
Exercicio 4.13
#24
mistercapote
closed
2 days ago
1
Addng Atividade 4.8
#23
JaimeWillianCarneiro
closed
1 month ago
4
Exercício 4.10
#22
CarCesar
closed
1 month ago
0
ex 4.6
#21
analununes
closed
1 month ago
1
adicionando mudanças
#20
JaimeWillianCarneiro
closed
1 month ago
4
adicionando tentativa
#19
JaimeWillianCarneiro
closed
1 month ago
3
Create exercicio1_14.lean
#18
TFrankeM
closed
1 day ago
1
Exercise 4.5
#17
falcaoanderson
closed
2 weeks ago
2
Solving exercise 4.9
#16
GabrielJP314
closed
5 days ago
3
Next