Name		Name	Last commit message	Last commit date
algebra		algebra
01122024.lean		01122024.lean
02122022.lean		02122022.lean
03022023.lean		03022023.lean
03042025.lean		03042025.lean
03062023.lean		03062023.lean
03102023.lean		03102023.lean
04072026.lean		04072026.lean
05022023.lean		05022023.lean
05082024.lean		05082024.lean
05092025.lean		05092025.lean
06012023.lean		06012023.lean
060325.lean		060325.lean
06112024.lean		06112024.lean
07072023.lean		07072023.lean
08022026.lean		08022026.lean
08052025.lean		08052025.lean
09032023.lean		09032023.lean
09072025.lean		09072025.lean
100124.lean		100124.lean
10032023.lean		10032023.lean
10052023.lean		10052023.lean
12012024.lean		12012024.lean
12042023.lean		12042023.lean
12072026.lean		12072026.lean
13032025.lean		13032025.lean
13042023.lean		13042023.lean
13112023.lean		13112023.lean
13112024.lean		13112024.lean
14022025.lean		14022025.lean
14032023.lean		14032023.lean
14052024.lean		14052024.lean
15022024.lean		15022024.lean
15072023.lean		15072023.lean
15072024.lean		15072024.lean
16082026.lean		16082026.lean
18032026.lean		18032026.lean
19012025.lean		19012025.lean
19062023.lean		19062023.lean
19062025.lean		19062025.lean
19072023.lean		19072023.lean
19092023.lean		19092023.lean
19122024.lean		19122024.lean
20032025.lean		20032025.lean
20042023.lean		20042023.lean
20042024.lean		20042024.lean
20102023.lean		20102023.lean
21012023.lean		21012023.lean
21062023.lean		21062023.lean
21082025.lean		21082025.lean
21092024.lean		21092024.lean
22022026.lean		22022026.lean
22052023.lean		22052023.lean
23032025.lean		23032025.lean
25012023.lean		25012023.lean
25042025.lean		25042025.lean
25072023.lean		25072023.lean
25102024.lean		25102024.lean
25122022.lean		25122022.lean
25122023.lean		25122023.lean
26052023.lean		26052023.lean
260825.lean		260825.lean
26102023.lean		26102023.lean
26122024-2.lean		26122024-2.lean
27032023.lean		27032023.lean
27032025.lean		27032025.lean
28092023.lean		28092023.lean
29012023.lean		29012023.lean
29052023.lean		29052023.lean
30102024_1.lean		30102024_1.lean
301102024.lean		301102024.lean
31032023.lean		31032023.lean
31032024.lean		31032024.lean
31082023-2.lean		31082023-2.lean
31082023-3.lean		31082023-3.lean
31082023-6.lean		31082023-6.lean
31102024.lean		31102024.lean
31122022.lean		31122022.lean
LICENSE		LICENSE
README.md		README.md
Reto20241113.lean		Reto20241113.lean
Reto_22082026.lean		Reto_22082026.lean

Repository files navigation

RetosMatematicos

About

No description, website, or topics provided.

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages