cursolean2026

Author	SHA1	Message	Date
Miguel Marco	899adc8f53	Añadidos inductivos, finitud y naturales Some checks failed Lean Action CI / build (push) Has been cancelled Details	2026-10-29 12:06:44 +01:00
Miguel Marco	12d608d061	Dos primeras hojas Some checks failed Lean Action CI / build (push) Has been cancelled Details	2026-10-26 12:49:31 +01:00
Lean 4 VS Code Extension	b51a19ee04	Initial commit	2026-10-26 11:42:44 +01:00